@insiderfinance/totalfinance 0.1.0

package/modules/portfolio/dist/trade/preflight.js

@@ -0,0 +1,381 @@
+/**
+ * `preflightTradePlan` (Decision 3): the plan against the ledger, the market, and the policy — the
+ * portfolio before and after (hypothetical fills folded through the same events a real fill
+ * emits), every check with its verdict, the estimated costs, the monitor's alerts on the
+ * after-state, and one decision. Missing information never becomes an allow: what the inputs cannot
+ * support is `unverifiable`, and the policy says whether that means approval or denial.
+ */
+import { CONVENTIONS_VERSION, ensureKnownKeys, requireArgumentObject, resolveAsOf, signOf, } from '../../../core/dist/index.js';
+import { contentHash, readMarketSnapshot } from '../../../core/dist/artifacts/index.js';
+import { portfolioEventsFromFill, } from '../events.js';
+import { deepFreeze, requireIdentityString } from '../internal.js';
+import { monitorPortfolio } from '../monitor.js';
+import { portfolioSnapshot } from '../snapshot.js';
+import { applyPortfolioEvents, requirePortfolioStateShape } from '../state.js';
+import { resolveInstrument, spotPriceOf } from './plan.js';
+import { decideFromChecks } from './policy.js';
+import { PREFLIGHT_REPORT_KIND, PREFLIGHT_REPORT_SCHEMA_VERSION, } from './types.js';
+import { conversionsField, hasPresentKey, refuse, requireExecutionPlan, requirePreflightCostRates, requirePreflightInstrument, requireTradeOrder, requireTradePolicy, } from './validate.js';
+const FN = 'preflightTradePlan';
+const INPUT_KEYS = [
+    'plan',
+    'portfolio',
+    'market',
+    'asOf',
+    'policy',
+    'instruments',
+    'currencyConversions',
+    'openOrders',
+    'costs',
+    'averageDailyVolumes',
+    'session',
+    'monitorState',
+];
+const FILL_CONVENTION = 'every order fills in full at its reference price (the market spot, or the limit price without a spot) plus the declared slippage, at the preflight instant; the after-state is the ledger fold of those fills';
+const DECISION_CONVENTION = "allow only when every check passes; deny when any check fails (or any is unverifiable under onUnverifiable 'deny'); otherwise require-approval with the unverifiable evidence disclosed";
+export function preflightTradePlan(input) {
+    requireArgumentObject(FN, 'input', input);
+    ensureKnownKeys(FN, 'input', input, INPUT_KEYS);
+    const plan = requireExecutionPlan(FN, 'input.plan', input.plan);
+    requirePortfolioStateShape(FN, 'input.portfolio', input.portfolio);
+    const { snapshot: market } = readMarketSnapshot({ snapshot: input.market });
+    const asOf = resolveAsOf(input.asOf, FN);
+    const policy = requireTradePolicy(FN, 'input.policy', input.policy);
+    if (hasPresentKey(input, 'instruments')) {
+        requireArgumentObject(FN, 'input.instruments', input.instruments);
+        for (const [id, spec] of Object.entries(input.instruments))
+            requirePreflightInstrument(FN, `input.instruments.${id}`, spec);
+    }
+    const openOrders = hasPresentKey(input, 'openOrders')
+        ? (() => {
+            if (!Array.isArray(input.openOrders))
+                refuse(FN, 'input.openOrders', 'must be an array of orders.');
+            return input.openOrders.map((row, i) => requireTradeOrder(FN, `input.openOrders[${i}]`, row));
+        })()
+        : [];
+    const rates = {
+        commissionBps: 0,
+        commissionPerOrder: 0,
+        spreadBps: 0,
+        slippageBps: 0,
+        ...(hasPresentKey(input, 'costs')
+            ? requirePreflightCostRates(FN, 'input.costs', input.costs)
+            : {}),
+    };
+    if (hasPresentKey(input, 'averageDailyVolumes')) {
+        requireArgumentObject(FN, 'input.averageDailyVolumes', input.averageDailyVolumes);
+        for (const [id, v] of Object.entries(input.averageDailyVolumes))
+            if (typeof v !== 'number' || !(v > 0))
+                refuse(FN, `input.averageDailyVolumes.${id}`, 'must be a positive number.');
+    }
+    if (hasPresentKey(input, 'session')) {
+        requireArgumentObject(FN, 'input.session', input.session);
+        ensureKnownKeys(FN, 'input.session', input.session, ['open', 'halted']);
+        if (typeof input.session.open !== 'boolean')
+            refuse(FN, 'input.session.open', 'must be a boolean.');
+        if (hasPresentKey(input.session, 'halted')) {
+            if (!Array.isArray(input.session.halted))
+                refuse(FN, 'input.session.halted', 'must be an array of instrument ids.');
+            input.session.halted.forEach((id, i) => requireIdentityString(FN, `input.session.halted[${i}]`, id));
+        }
+    }
+    const previousMonitorState = hasPresentKey(input, 'monitorState')
+        ? input.monitorState
+        : null;
+    const conversions = hasPresentKey(input, 'currencyConversions')
+        ? conversionsField(FN, input.currencyConversions)
+        : [];
+    const portfolio = input.portfolio;
+    const warnings = [];
+    const checks = [];
+    const check = (name, verdict, value, limit, detail) => {
+        checks.push({ name, verdict, value, limit, detail });
+    };
+    // ---- the plan against the account and the policy's allow lists ----------------------------------
+    if (policy.allowedAccounts !== undefined)
+        check('account', policy.allowedAccounts.includes(plan.accountId) ? 'pass' : 'fail', plan.accountId, policy.allowedAccounts.join(', '), `the plan trades account '${plan.accountId}'`);
+    const account = portfolio.accounts[plan.accountId];
+    if (account === undefined)
+        check('account-known', 'fail', plan.accountId, null, `the ledger has no account '${plan.accountId}'`);
+    else
+        check('account-known', 'pass', plan.accountId, null, 'the ledger holds the account');
+    // ---- market age ----------------------------------------------------------------------------------
+    const ageMs = asOf - market.asOf;
+    if (policy.marketMaximumAgeMs !== undefined)
+        check('market-age', ageMs <= policy.marketMaximumAgeMs ? 'pass' : 'fail', ageMs, policy.marketMaximumAgeMs, `the market snapshot is ${ageMs} ms old at the preflight instant`);
+    else
+        check('market-age', 'pass', ageMs, null, 'no marketMaximumAgeMs declared; the age is reported');
+    // ---- the orders, one by one ----------------------------------------------------------------------
+    const before = portfolioSnapshot({
+        portfolio,
+        asOf,
+        market,
+        ...(conversions.length > 0 ? { currencyConversions: conversions } : {}),
+    });
+    const nav = before.netAssetValue;
+    const fills = [];
+    let tradedNotional = 0;
+    let commission = 0;
+    let spread = 0;
+    let slippage = 0;
+    const instrumentSources = {};
+    const heldAfter = new Map();
+    for (const position of Object.values(account?.positions ?? {}))
+        heldAfter.set(position.instrumentId, position.quantity);
+    const openKeys = new Set(openOrders.map((o) => `${o.instrumentId}#${o.side}`));
+    // ---- undefined risk (B5): judged on the after-state — of the order, or of its whole combo -------
+    const contractOf = (id) => account?.positions[id]?.contract ?? input.instruments?.[id]?.contract;
+    const multiplierOf = (id) => account?.positions[id]?.contractMultiplier ?? input.instruments?.[id]?.contractMultiplier ?? 1;
+    const judgeUndefinedRisk = (at, orders) => {
+        if (policy.allowUndefinedRiskOptions ?? false)
+            return;
+        const options = [];
+        for (const [id, held] of heldAfter) {
+            const contract = contractOf(id);
+            if (contract?.kind === 'option' && held !== 0)
+                options.push({ id, held, contract, units: Math.abs(held) * multiplierOf(id) });
+        }
+        const longs = options
+            .filter((position) => position.held > 0)
+            .sort((a, b) => a.contract.expiryTimestampMs - b.contract.expiryTimestampMs ||
+            (a.id < b.id ? -1 : a.id > b.id ? 1 : 0));
+        // Longest-dated shorts have the fewest eligible hedges. Consume each long/stock unit once;
+        // existing shorts compete for the same capacity as the proposed orders.
+        const shorts = options
+            .filter((position) => position.held < 0)
+            .sort((a, b) => b.contract.expiryTimestampMs - a.contract.expiryTimestampMs ||
+            (a.id < b.id ? -1 : a.id > b.id ? 1 : 0));
+        const stock = new Map();
+        for (const short of shorts) {
+            const { contract } = short;
+            let remaining = short.units;
+            for (const long of longs) {
+                if (long.contract.type !== contract.type ||
+                    long.contract.underlyingInstrumentId !== contract.underlyingInstrumentId ||
+                    long.contract.expiryTimestampMs < contract.expiryTimestampMs)
+                    continue;
+                const used = Math.min(remaining, long.units);
+                remaining -= used;
+                long.units -= used;
+            }
+            const longUnits = short.units - remaining;
+            let stockUnits = 0;
+            if (contract.type === 'call') {
+                const id = contract.underlyingInstrumentId;
+                const available = stock.get(id) ?? Math.max(0, heldAfter.get(id) ?? 0);
+                stockUnits = Math.min(remaining, available);
+                remaining -= stockUnits;
+                stock.set(id, available - stockUnits);
+            }
+            const covered = remaining <= short.units * 1e-12;
+            const order = orders.find((candidate) => candidate.instrumentId === short.id);
+            // Also report newly uncovered existing shorts (e.g. selling their stock/option hedge).
+            if (order === undefined && covered)
+                continue;
+            const scope = orders[0]?.comboId === undefined ? 'the order' : `combo ${orders[0].comboId}`;
+            const label = order === undefined
+                ? `${at}.positions[${JSON.stringify(short.id)}]`
+                : `orders[${plan.orders.indexOf(order)}]`;
+            check(`${label}.undefined-risk`, covered ? 'pass' : 'fail', short.held, 0, covered
+                ? `a short ${contract.type} covered by ${longUnits} units of same-or-later-dated long ${contract.type}s and ${stockUnits} underlying units after ${scope} (defined risk; each hedge allocated once)`
+                : `${scope} leaves ${remaining} option units uncovered and the policy does not allow undefined risk`);
+        }
+    };
+    const comboLegsLeft = new Map(plan.combos.map((combo) => [combo.comboId, combo.orderIds.length]));
+    const pendingRisk = [];
+    plan.orders.forEach((order, i) => {
+        const at = `orders[${i}]`;
+        const resolved = resolveInstrument(FN, portfolio, plan.accountId, input.instruments, market, order.instrumentId);
+        const reference = spotPriceOf(market, order.instrumentId);
+        const price = reference?.price ?? order.limitPrice ?? null;
+        if (resolved === null || price === null) {
+            check(`${at}.instrument`, 'fail', order.instrumentId, null, `'${order.instrumentId}' cannot be valued — no ledger position, no instruments entry, no spot`);
+            return;
+        }
+        check(`${at}.instrument`, 'pass', order.instrumentId, null, `resolved from the ${resolved.source}`);
+        if (policy.allowedInstruments !== undefined)
+            check(`${at}.allowed-instrument`, policy.allowedInstruments.includes(order.instrumentId) ? 'pass' : 'fail', order.instrumentId, policy.allowedInstruments.join(', '), "the policy's instrument allow list");
+        if (policy.allowedAssetClasses !== undefined) {
+            const assetClass = resolved.assetClass;
+            if (assetClass === null)
+                check(`${at}.allowed-asset-class`, 'unverifiable', null, policy.allowedAssetClasses.join(', '), `no asset class is known for '${order.instrumentId}' — describe it in input.instruments`);
+            else
+                check(`${at}.allowed-asset-class`, policy.allowedAssetClasses.includes(assetClass) ? 'pass' : 'fail', assetClass, policy.allowedAssetClasses.join(', '), "the policy's asset-class allow list");
+        }
+        if (policy.allowedOrderTypes !== undefined)
+            check(`${at}.order-type`, policy.allowedOrderTypes.includes(order.type) ? 'pass' : 'fail', order.type, policy.allowedOrderTypes.join(', '), "the policy's order-type allow list");
+        if (openKeys.has(`${order.instrumentId}#${order.side}`))
+            check(`${at}.duplicate`, 'fail', `${order.side} ${order.instrumentId}`, null, 'an open order already works this side of the instrument');
+        else
+            check(`${at}.duplicate`, 'pass', `${order.side} ${order.instrumentId}`, null, 'no open order conflicts');
+        if (input.session !== undefined) {
+            const halted = input.session.halted?.includes(order.instrumentId) ?? false;
+            check(`${at}.session`, input.session.open && !halted ? 'pass' : 'fail', halted ? 'halted' : input.session.open ? 'open' : 'closed', 'open', 'the trading session at the instant');
+        }
+        const multiplier = resolved.contractMultiplier;
+        const notional = order.quantity * price * multiplier;
+        if (policy.maximumOrderQuantity !== undefined)
+            check(`${at}.quantity`, order.quantity <= policy.maximumOrderQuantity ? 'pass' : 'fail', order.quantity, policy.maximumOrderQuantity, 'maximumOrderQuantity');
+        if (policy.maximumOrderNotional !== undefined)
+            check(`${at}.notional`, notional <= policy.maximumOrderNotional ? 'pass' : 'fail', notional, policy.maximumOrderNotional, 'maximumOrderNotional (instrument currency)');
+        if (policy.requireApprovalAbove !== undefined) {
+            const above = (policy.requireApprovalAbove.notional !== undefined &&
+                notional > policy.requireApprovalAbove.notional) ||
+                (policy.requireApprovalAbove.quantity !== undefined &&
+                    order.quantity > policy.requireApprovalAbove.quantity);
+            if (above)
+                check(`${at}.approval`, 'require-approval', notional, policy.requireApprovalAbove.notional ?? policy.requireApprovalAbove.quantity ?? null, 'above the requireApprovalAbove threshold');
+        }
+        if (policy.maximumParticipation !== undefined) {
+            const volume = input.averageDailyVolumes?.[order.instrumentId];
+            if (volume === undefined)
+                check(`${at}.participation`, 'unverifiable', null, policy.maximumParticipation, `no averageDailyVolumes entry for '${order.instrumentId}'`);
+            else
+                check(`${at}.participation`, order.quantity / volume <= policy.maximumParticipation ? 'pass' : 'fail', order.quantity / volume, policy.maximumParticipation, 'quantity ÷ average daily volume');
+        }
+        // the hypothetical fill, at the reference price plus the declared slippage
+        const direction = signOf(order.side);
+        const fillPrice = price * (1 + (direction * (rates.slippageBps + rates.spreadBps)) / 10_000);
+        const orderCommission = (notional * rates.commissionBps) / 10_000 + rates.commissionPerOrder;
+        const orderSpread = (notional * rates.spreadBps) / 10_000;
+        const orderSlippage = (notional * rates.slippageBps) / 10_000;
+        tradedNotional += notional;
+        commission += orderCommission;
+        spread += orderSpread;
+        slippage += orderSlippage;
+        const contract = contractOf(order.instrumentId);
+        let riskOrders = [];
+        if (order.comboId === undefined)
+            riskOrders = [order];
+        else {
+            pendingRisk.push(order);
+            const left = (comboLegsLeft.get(order.comboId) ?? 0) - 1;
+            comboLegsLeft.set(order.comboId, left);
+            if (left === 0)
+                riskOrders = pendingRisk.filter((pending) => pending.comboId === order.comboId);
+        }
+        if (riskOrders.length > 0) {
+            for (const pending of riskOrders)
+                heldAfter.set(pending.instrumentId, (heldAfter.get(pending.instrumentId) ?? 0) + signOf(pending.side) * pending.quantity);
+            judgeUndefinedRisk(at, riskOrders);
+        }
+        instrumentSources[order.instrumentId] = resolved.source;
+        fills.push({
+            fillId: `preflight:${plan.contentHash}:${i + 1}`,
+            accountId: plan.accountId,
+            instrumentId: order.instrumentId,
+            side: order.side,
+            quantity: order.quantity,
+            pricePerUnit: fillPrice,
+            currency: resolved.currency,
+            filledTimestampMs: asOf,
+            orderId: order.orderId,
+            ...(multiplier !== 1 ? { contractMultiplier: multiplier } : {}),
+            ...(contract !== undefined ? { contract, contractMultiplier: multiplier } : {}),
+            ...(orderCommission > 0 ? { costs: { commission: orderCommission } } : {}),
+            ...(orderSlippage + orderSpread > 0
+                ? { executionPriceAdjustment: orderSlippage + orderSpread }
+                : {}),
+        });
+    });
+    // ---- the plan as a whole -------------------------------------------------------------------------
+    const totalCost = commission + spread + slippage;
+    const turnover = nav > 0 ? tradedNotional / nav : 0;
+    if (policy.maximumEstimatedCost !== undefined)
+        check('estimated-cost', totalCost <= policy.maximumEstimatedCost ? 'pass' : 'fail', totalCost, policy.maximumEstimatedCost, 'commission + spread + slippage at the declared rates');
+    if (policy.maximumSlippageBps !== undefined)
+        check('slippage', rates.slippageBps <= policy.maximumSlippageBps ? 'pass' : 'fail', rates.slippageBps, policy.maximumSlippageBps, 'the declared slippage rate');
+    if (policy.maximumTurnover !== undefined)
+        check('turnover', turnover <= policy.maximumTurnover ? 'pass' : 'fail', turnover, policy.maximumTurnover, 'traded notional ÷ NAV before the plan');
+    // ---- the after-state: the ledger's own fold of the hypothetical fills --------------------------
+    const sourceId = `preflight:${plan.contentHash}`;
+    const events = fills.flatMap((fill) => portfolioEventsFromFill({ fill, sourceId, recordedTimestampMs: asOf }));
+    let afterState = portfolio;
+    let afterSnapshot = before;
+    let alerts = [];
+    let monitorState = previousMonitorState;
+    const cashBefore = before.totalCashBaseCurrencyValue;
+    if (events.length > 0 &&
+        checks.every((c) => !c.name.endsWith('.instrument') || c.verdict === 'pass')) {
+        afterState = applyPortfolioEvents({ previousState: portfolio, events });
+        afterSnapshot = portfolioSnapshot({
+            portfolio: afterState,
+            asOf,
+            market,
+            ...(conversions.length > 0 ? { currencyConversions: conversions } : {}),
+        });
+        if (afterSnapshot.totalCashBaseCurrencyValue < 0)
+            check('cash', 'fail', afterSnapshot.totalCashBaseCurrencyValue, 0, `the plan would leave base-currency cash at ${afterSnapshot.totalCashBaseCurrencyValue.toFixed(2)} (from ${cashBefore.toFixed(2)})`);
+        else
+            check('cash', 'pass', afterSnapshot.totalCashBaseCurrencyValue, 0, 'cash stays non-negative after the plan');
+        if (policy.limits !== undefined && Object.keys(policy.limits).length > 0) {
+            const monitor = monitorPortfolio({
+                portfolio: afterState,
+                market,
+                asOf,
+                ...(conversions.length > 0 ? { currencyConversions: conversions } : {}),
+                policy: { limits: policy.limits },
+                previousState: previousMonitorState,
+                ...(policy.marketMaximumAgeMs !== undefined
+                    ? { marketStalenessLimitMs: policy.marketMaximumAgeMs }
+                    : {}),
+                ...(input.averageDailyVolumes !== undefined
+                    ? { averageDailyVolumes: input.averageDailyVolumes }
+                    : {}),
+            });
+            alerts = monitor.alerts.filter((a) => a.state === 'raised' || a.state === 'active');
+            monitorState = monitor.state;
+            for (const alert of alerts)
+                check(`limits.${alert.family}`, 'fail', alert.value, alert.threshold, alert.message);
+            for (const family of monitor.evaluated.filter((e) => e.status === 'skipped')) {
+                const declared = (family.family === 'liquidity' && policy.limits.maximumDaysToLiquidate !== undefined) ||
+                    (family.family === 'stale-market-data' && policy.marketMaximumAgeMs !== undefined);
+                if (declared)
+                    check(`limits.${family.family}`, 'unverifiable', null, null, family.reason ?? 'the monitor could not evaluate the family');
+            }
+            if (alerts.length === 0)
+                check('limits', 'pass', null, null, `the monitor raised no alert on the after-state (${monitor.evaluated.filter((e) => e.status === 'evaluated').length} families evaluated)`);
+        }
+    }
+    const decision = decideFromChecks(checks, policy.onUnverifiable ?? 'require-approval');
+    const unverifiable = checks.filter((c) => c.verdict === 'unverifiable').map((c) => c.name);
+    const body = {
+        kind: PREFLIGHT_REPORT_KIND,
+        schemaVersion: PREFLIGHT_REPORT_SCHEMA_VERSION,
+        asOf,
+        planHash: plan.contentHash,
+        portfolioHash: contentHash(portfolio),
+        marketHash: contentHash(market),
+        marketAsOf: market.asOf,
+        before,
+        after: afterSnapshot,
+        hypotheticalFills: fills,
+        hypotheticalEvents: events,
+        estimates: { tradedNotional, commission, spread, slippage, totalCost, turnover },
+        checks,
+        alerts,
+        decision,
+        unverifiable,
+        monitorState,
+        assumptions: {
+            conventionsVersion: CONVENTIONS_VERSION,
+            policyContentHash: contentHash(policy),
+            mode: 'paper',
+            costRates: rates,
+            fillConvention: FILL_CONVENTION,
+            instrumentSources,
+            decisionConvention: DECISION_CONVENTION,
+        },
+        diagnostics: {
+            engine: 'trade-preflight',
+            method: 'hypothetical-fold',
+            converged: true,
+            warnings,
+            checkCount: checks.length,
+            failedCount: checks.filter((c) => c.verdict === 'fail').length,
+            unverifiableCount: unverifiable.length,
+        },
+    };
+    return deepFreeze({ ...body, contentHash: contentHash(body) });
+}
+//# sourceMappingURL=preflight.js.map

package/modules/portfolio/dist/trade/preflight.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"preflight.js","sourceRoot":"","sources":["../../src/trade/preflight.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,qBAAqB,EACrB,WAAW,EACX,MAAM,GACP,MAAM,6BAAoB,CAAC;AAE5B,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,uCAA8B,CAAC;AAC/E,OAAO,EACL,uBAAuB,GAKxB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAiD,MAAM,eAAe,CAAC;AAChG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EACL,qBAAqB,EACrB,+BAA+B,GAMhC,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,gBAAgB,EAChB,aAAa,EACb,MAAM,EACN,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,EAC1B,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,eAAe,CAAC;AAEvB,MAAM,EAAE,GAAG,oBAAoB,CAAC;AAChC,MAAM,UAAU,GAAG;IACjB,MAAM;IACN,WAAW;IACX,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,aAAa;IACb,qBAAqB;IACrB,YAAY;IACZ,OAAO;IACP,qBAAqB;IACrB,SAAS;IACT,cAAc;CACN,CAAC;AACX,MAAM,eAAe,GACnB,+MAA+M,CAAC;AAClN,MAAM,mBAAmB,GACvB,yLAAyL,CAAC;AAE5L,MAAM,UAAU,kBAAkB,CAAC,KAA8B;IAC/D,qBAAqB,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1C,eAAe,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,oBAAoB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAChE,0BAA0B,CAAC,EAAE,EAAE,iBAAiB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpE,IAAI,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;QACxC,qBAAqB,CAAC,EAAE,EAAE,mBAAmB,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QAClE,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAY,CAAC;YACzD,0BAA0B,CAAC,EAAE,EAAE,qBAAqB,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,UAAU,GAAiB,aAAa,CAAC,KAAK,EAAE,YAAY,CAAC;QACjE,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;gBAClC,MAAM,CAAC,EAAE,EAAE,kBAAkB,EAAE,6BAA6B,CAAC,CAAC;YAChE,OAAO,KAAK,CAAC,UAAW,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtC,iBAAiB,CAAC,EAAE,EAAE,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CACrD,CAAC;QACJ,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,KAAK,GAAiC;QAC1C,aAAa,EAAE,CAAC;QAChB,kBAAkB,EAAE,CAAC;QACrB,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC;YAC/B,CAAC,CAAC,yBAAyB,CAAC,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC;YAC3D,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,IAAI,aAAa,CAAC,KAAK,EAAE,qBAAqB,CAAC,EAAE,CAAC;QAChD,qBAAqB,CAAC,EAAE,EAAE,2BAA2B,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAClF,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAoB,CAAC;YAC9D,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACnC,MAAM,CAAC,EAAE,EAAE,6BAA6B,EAAE,EAAE,EAAE,4BAA4B,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;QACpC,qBAAqB,CAAC,EAAE,EAAE,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1D,eAAe,CAAC,EAAE,EAAE,eAAe,EAAE,KAAK,CAAC,OAAiB,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClF,IAAI,OAAO,KAAK,CAAC,OAAQ,CAAC,IAAI,KAAK,SAAS;YAC1C,MAAM,CAAC,EAAE,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;QACzD,IAAI,aAAa,CAAC,KAAK,CAAC,OAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAQ,CAAC,MAAM,CAAC;gBACvC,MAAM,CAAC,EAAE,EAAE,sBAAsB,EAAE,qCAAqC,CAAC,CAAC;YAC5E,KAAK,CAAC,OAAQ,CAAC,MAAO,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CACvC,qBAAqB,CAAC,EAAE,EAAE,wBAAwB,CAAC,GAAG,EAAE,EAAE,CAAC,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,oBAAoB,GAAiC,aAAa,CAAC,KAAK,EAAE,cAAc,CAAC;QAC7F,CAAC,CAAE,KAAK,CAAC,YAA6C;QACtD,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,WAAW,GAAwB,aAAa,CAAC,KAAK,EAAE,qBAAqB,CAAC;QAClF,CAAC,CAAC,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,mBAAmB,CAAC;QACjD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,CACZ,IAAY,EACZ,OAA+B,EAC/B,KAA2B,EAC3B,KAA2B,EAC3B,MAAc,EACR,EAAE;QACR,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC;IAEF,oGAAoG;IACpG,IAAI,MAAM,CAAC,eAAe,KAAK,SAAS;QACtC,KAAK,CACH,SAAS,EACT,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACjE,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EACjC,4BAA4B,IAAI,CAAC,SAAS,GAAG,CAC9C,CAAC;IACJ,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnD,IAAI,OAAO,KAAK,SAAS;QACvB,KAAK,CACH,eAAe,EACf,MAAM,EACN,IAAI,CAAC,SAAS,EACd,IAAI,EACJ,8BAA8B,IAAI,CAAC,SAAS,GAAG,CAChD,CAAC;;QACC,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC;IAE1F,qGAAqG;IACrG,MAAM,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACjC,IAAI,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACzC,KAAK,CACH,YAAY,EACZ,KAAK,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACpD,KAAK,EACL,MAAM,CAAC,kBAAkB,EACzB,0BAA0B,KAAK,kCAAkC,CAClE,CAAC;;QAEF,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,qDAAqD,CAAC,CAAC;IAElG,qGAAqG;IACrG,MAAM,MAAM,GAAG,iBAAiB,CAAC;QAC/B,SAAS;QACT,IAAI;QACJ,MAAM;QACN,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxE,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,MAAM,CAAC,aAAa,CAAC;IACjC,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,MAAM,iBAAiB,GAA2B,EAAE,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,IAAI,EAAE,CAAC;QAC5D,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/E,oGAAoG;IACpG,MAAM,UAAU,GAAG,CAAC,EAAU,EAAuC,EAAE,CACrE,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,QAAQ,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC;IACxE,MAAM,YAAY,GAAG,CAAC,EAAU,EAAU,EAAE,CAC1C,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,kBAAkB,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,EAAE,kBAAkB,IAAI,CAAC,CAAC;IACjG,MAAM,kBAAkB,GAAG,CAAC,EAAU,EAAE,MAA6B,EAAQ,EAAE;QAC7E,IAAI,MAAM,CAAC,yBAAyB,IAAI,KAAK;YAAE,OAAO;QACtD,MAAM,OAAO,GACX,EAAE,CAAC;QACL,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,KAAK,GAAG,OAAO;aAClB,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;aACvC,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,QAAQ,CAAC,iBAAiB,GAAG,CAAC,CAAC,QAAQ,CAAC,iBAAiB;YAC3D,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3C,CAAC;QACJ,2FAA2F;QAC3F,wEAAwE;QACxE,MAAM,MAAM,GAAG,OAAO;aACnB,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;aACvC,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,QAAQ,CAAC,iBAAiB,GAAG,CAAC,CAAC,QAAQ,CAAC,iBAAiB;YAC3D,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3C,CAAC;QACJ,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;YAC3B,IAAI,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IACE,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;oBACpC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,KAAK,QAAQ,CAAC,sBAAsB;oBACxE,IAAI,CAAC,QAAQ,CAAC,iBAAiB,GAAG,QAAQ,CAAC,iBAAiB;oBAE5D,SAAS;gBACX,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,SAAS,IAAI,IAAI,CAAC;gBAClB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC;YACrB,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC;YAC1C,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC7B,MAAM,EAAE,GAAG,QAAQ,CAAC,sBAAsB,CAAC;gBAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;gBACvE,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;gBAC5C,SAAS,IAAI,UAAU,CAAC;gBACxB,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,GAAG,UAAU,CAAC,CAAC;YACxC,CAAC;YACD,MAAM,OAAO,GAAG,SAAS,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;YACjD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,YAAY,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;YAC9E,uFAAuF;YACvF,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO;gBAAE,SAAS;YAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5F,MAAM,KAAK,GACT,KAAK,KAAK,SAAS;gBACjB,CAAC,CAAC,GAAG,EAAE,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG;gBAChD,CAAC,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;YAC9C,KAAK,CACH,GAAG,KAAK,iBAAiB,EACzB,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACzB,KAAK,CAAC,IAAI,EACV,CAAC,EACD,OAAO;gBACL,CAAC,CAAC,WAAW,QAAQ,CAAC,IAAI,eAAe,SAAS,sCAAsC,QAAQ,CAAC,IAAI,SAAS,UAAU,2BAA2B,KAAK,4CAA4C;gBACpM,CAAC,CAAC,GAAG,KAAK,WAAW,SAAS,sEAAsE,CACvG,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC/B,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC;QAC1B,MAAM,QAAQ,GAAG,iBAAiB,CAChC,EAAE,EACF,SAAS,EACT,IAAI,CAAC,SAAS,EACd,KAAK,CAAC,WAAW,EACjB,MAAM,EACN,KAAK,CAAC,YAAY,CACnB,CAAC;QACF,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,SAAS,EAAE,KAAK,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC;QAC3D,IAAI,QAAQ,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACxC,KAAK,CACH,GAAG,EAAE,aAAa,EAClB,MAAM,EACN,KAAK,CAAC,YAAY,EAClB,IAAI,EACJ,IAAI,KAAK,CAAC,YAAY,wEAAwE,CAC/F,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,CACH,GAAG,EAAE,aAAa,EAClB,MAAM,EACN,KAAK,CAAC,YAAY,EAClB,IAAI,EACJ,qBAAqB,QAAQ,CAAC,MAAM,EAAE,CACvC,CAAC;QACF,IAAI,MAAM,CAAC,kBAAkB,KAAK,SAAS;YACzC,KAAK,CACH,GAAG,EAAE,qBAAqB,EAC1B,MAAM,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACxE,KAAK,CAAC,YAAY,EAClB,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EACpC,oCAAoC,CACrC,CAAC;QACJ,IAAI,MAAM,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC;YACvC,IAAI,UAAU,KAAK,IAAI;gBACrB,KAAK,CACH,GAAG,EAAE,sBAAsB,EAC3B,cAAc,EACd,IAAI,EACJ,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EACrC,gCAAgC,KAAK,CAAC,YAAY,sCAAsC,CACzF,CAAC;;gBAEF,KAAK,CACH,GAAG,EAAE,sBAAsB,EAC3B,MAAM,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACjE,UAAU,EACV,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EACrC,qCAAqC,CACtC,CAAC;QACN,CAAC;QACD,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS;YACxC,KAAK,CACH,GAAG,EAAE,aAAa,EAClB,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAC/D,KAAK,CAAC,IAAI,EACV,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EACnC,oCAAoC,CACrC,CAAC;QACJ,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACrD,KAAK,CACH,GAAG,EAAE,YAAY,EACjB,MAAM,EACN,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,EACrC,IAAI,EACJ,yDAAyD,CAC1D,CAAC;;YAEF,KAAK,CACH,GAAG,EAAE,YAAY,EACjB,MAAM,EACN,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,YAAY,EAAE,EACrC,IAAI,EACJ,yBAAyB,CAC1B,CAAC;QACJ,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;YAC3E,KAAK,CACH,GAAG,EAAE,UAAU,EACf,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAC/C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAC1D,MAAM,EACN,oCAAoC,CACrC,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,kBAAkB,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,GAAG,KAAK,GAAG,UAAU,CAAC;QACrD,IAAI,MAAM,CAAC,oBAAoB,KAAK,SAAS;YAC3C,KAAK,CACH,GAAG,EAAE,WAAW,EAChB,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAC/D,KAAK,CAAC,QAAQ,EACd,MAAM,CAAC,oBAAoB,EAC3B,sBAAsB,CACvB,CAAC;QACJ,IAAI,MAAM,CAAC,oBAAoB,KAAK,SAAS;YAC3C,KAAK,CACH,GAAG,EAAE,WAAW,EAChB,QAAQ,IAAI,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACzD,QAAQ,EACR,MAAM,CAAC,oBAAoB,EAC3B,4CAA4C,CAC7C,CAAC;QACJ,IAAI,MAAM,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;YAC9C,MAAM,KAAK,GACT,CAAC,MAAM,CAAC,oBAAoB,CAAC,QAAQ,KAAK,SAAS;gBACjD,QAAQ,GAAG,MAAM,CAAC,oBAAoB,CAAC,QAAQ,CAAC;gBAClD,CAAC,MAAM,CAAC,oBAAoB,CAAC,QAAQ,KAAK,SAAS;oBACjD,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAC3D,IAAI,KAAK;gBACP,KAAK,CACH,GAAG,EAAE,WAAW,EAChB,kBAAkB,EAClB,QAAQ,EACR,MAAM,CAAC,oBAAoB,CAAC,QAAQ,IAAI,MAAM,CAAC,oBAAoB,CAAC,QAAQ,IAAI,IAAI,EACpF,0CAA0C,CAC3C,CAAC;QACN,CAAC;QACD,IAAI,MAAM,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;YAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,mBAAmB,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAC/D,IAAI,MAAM,KAAK,SAAS;gBACtB,KAAK,CACH,GAAG,EAAE,gBAAgB,EACrB,cAAc,EACd,IAAI,EACJ,MAAM,CAAC,oBAAoB,EAC3B,qCAAqC,KAAK,CAAC,YAAY,GAAG,CAC3D,CAAC;;gBAEF,KAAK,CACH,GAAG,EAAE,gBAAgB,EACrB,KAAK,CAAC,QAAQ,GAAG,MAAM,IAAI,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACxE,KAAK,CAAC,QAAQ,GAAG,MAAM,EACvB,MAAM,CAAC,oBAAoB,EAC3B,iCAAiC,CAClC,CAAC;QACN,CAAC;QACD,2EAA2E;QAC3E,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;QAC7F,MAAM,eAAe,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC;QAC7F,MAAM,WAAW,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC;QAC1D,MAAM,aAAa,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC;QAC9D,cAAc,IAAI,QAAQ,CAAC;QAC3B,UAAU,IAAI,eAAe,CAAC;QAC9B,MAAM,IAAI,WAAW,CAAC;QACtB,QAAQ,IAAI,aAAa,CAAC;QAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,UAAU,GAAiB,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAAE,UAAU,GAAG,CAAC,KAAK,CAAC,CAAC;aACjD,CAAC;YACJ,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACzD,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,CAAC;gBACZ,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,MAAM,OAAO,IAAI,UAAU;gBAC9B,SAAS,CAAC,GAAG,CACX,OAAO,CAAC,YAAY,EACpB,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,CACrF,CAAC;YACJ,kBAAkB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACrC,CAAC;QACD,iBAAiB,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,aAAa,IAAI,CAAC,WAAW,IAAI,CAAC,GAAG,CAAC,EAAE;YAChD,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,YAAY,EAAE,SAAS;YACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,GAAG,CAAC,aAAa,GAAG,WAAW,GAAG,CAAC;gBACjC,CAAC,CAAC,EAAE,wBAAwB,EAAE,aAAa,GAAG,WAAW,EAAE;gBAC3D,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,qGAAqG;IACrG,MAAM,SAAS,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,CAAC;IACjD,MAAM,QAAQ,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,MAAM,CAAC,oBAAoB,KAAK,SAAS;QAC3C,KAAK,CACH,gBAAgB,EAChB,SAAS,IAAI,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAC1D,SAAS,EACT,MAAM,CAAC,oBAAoB,EAC3B,sDAAsD,CACvD,CAAC;IACJ,IAAI,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACzC,KAAK,CACH,UAAU,EACV,KAAK,CAAC,WAAW,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAChE,KAAK,CAAC,WAAW,EACjB,MAAM,CAAC,kBAAkB,EACzB,4BAA4B,CAC7B,CAAC;IACJ,IAAI,MAAM,CAAC,eAAe,KAAK,SAAS;QACtC,KAAK,CACH,UAAU,EACV,QAAQ,IAAI,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EACpD,QAAQ,EACR,MAAM,CAAC,eAAe,EACtB,uCAAuC,CACxC,CAAC;IAEJ,mGAAmG;IACnG,MAAM,QAAQ,GAAG,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;IACjD,MAAM,MAAM,GAA6B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9D,uBAAuB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CACvE,CAAC;IACF,IAAI,UAAU,GAAG,SAAS,CAAC;IAC3B,IAAI,aAAa,GAAG,MAAM,CAAC;IAC3B,IAAI,MAAM,GAAmB,EAAE,CAAC;IAChC,IAAI,YAAY,GAAiC,oBAAoB,CAAC;IACtE,MAAM,UAAU,GAAG,MAAM,CAAC,0BAA0B,CAAC;IACrD,IACE,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,EAC5E,CAAC;QACD,UAAU,GAAG,oBAAoB,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACxE,aAAa,GAAG,iBAAiB,CAAC;YAChC,SAAS,EAAE,UAAU;YACrB,IAAI;YACJ,MAAM;YACN,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE,CAAC,CAAC;QACH,IAAI,aAAa,CAAC,0BAA0B,GAAG,CAAC;YAC9C,KAAK,CACH,MAAM,EACN,MAAM,EACN,aAAa,CAAC,0BAA0B,EACxC,CAAC,EACD,8CAA8C,aAAa,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CACpI,CAAC;;YAEF,KAAK,CACH,MAAM,EACN,MAAM,EACN,aAAa,CAAC,0BAA0B,EACxC,CAAC,EACD,wCAAwC,CACzC,CAAC;QACJ,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzE,MAAM,OAAO,GAAG,gBAAgB,CAAC;gBAC/B,SAAS,EAAE,UAAU;gBACrB,MAAM;gBACN,IAAI;gBACJ,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;gBACjC,aAAa,EAAE,oBAAoB;gBACnC,GAAG,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS;oBACzC,CAAC,CAAC,EAAE,sBAAsB,EAAE,MAAM,CAAC,kBAAkB,EAAE;oBACvD,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS;oBACzC,CAAC,CAAC,EAAE,mBAAmB,EAAE,KAAK,CAAC,mBAAmB,EAAE;oBACpD,CAAC,CAAC,EAAE,CAAC;aACR,CAAC,CAAC;YACH,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;YACpF,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,MAAM;gBACxB,KAAK,CAAC,UAAU,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACvF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;gBAC7E,MAAM,QAAQ,GACZ,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,sBAAsB,KAAK,SAAS,CAAC;oBACrF,CAAC,MAAM,CAAC,MAAM,KAAK,mBAAmB,IAAI,MAAM,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC;gBACrF,IAAI,QAAQ;oBACV,KAAK,CACH,UAAU,MAAM,CAAC,MAAM,EAAE,EACzB,cAAc,EACd,IAAI,EACJ,IAAI,EACJ,MAAM,CAAC,MAAM,IAAI,2CAA2C,CAC7D,CAAC;YACN,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBACrB,KAAK,CACH,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,mDAAmD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM,sBAAsB,CAC1I,CAAC;QACN,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,cAAc,IAAI,kBAAkB,CAAC,CAAC;IACvF,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,qBAAqB;QAC3B,aAAa,EAAE,+BAA+B;QAC9C,IAAI;QACJ,QAAQ,EAAE,IAAI,CAAC,WAAW;QAC1B,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC;QACrC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC;QAC/B,UAAU,EAAE,MAAM,CAAC,IAAe;QAClC,MAAM;QACN,KAAK,EAAE,aAAa;QACpB,iBAAiB,EAAE,KAAK;QACxB,kBAAkB,EAAE,MAAM;QAC1B,SAAS,EAAE,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE;QAChF,MAAM;QACN,MAAM;QACN,QAAQ;QACR,YAAY;QACZ,YAAY;QACZ,WAAW,EAAE;YACX,kBAAkB,EAAE,mBAAmB;YACvC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC;YACtC,IAAI,EAAE,OAAgB;YACtB,SAAS,EAAE,KAAK;YAChB,cAAc,EAAE,eAAe;YAC/B,iBAAiB;YACjB,kBAAkB,EAAE,mBAAmB;SACxC;QACD,WAAW,EAAE;YACX,MAAM,EAAE,iBAA0B;YAClC,MAAM,EAAE,mBAA4B;YACpC,SAAS,EAAE,IAAa;YACxB,QAAQ;YACR,UAAU,EAAE,MAAM,CAAC,MAAM;YACzB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM;YAC9D,iBAAiB,EAAE,YAAY,CAAC,MAAM;SACvC;KACF,CAAC;IACF,OAAO,UAAU,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,EAAqB,CAAC,CAAC;AACpF,CAAC"}

package/modules/portfolio/dist/trade/reconcile.d.ts

@@ -0,0 +1,8 @@
+import { type ReconcileExecutionInput, type ReconciliationReport } from './types.js';
+/**
+ * Reconcile an execution (Decision 8). Pure: the journal (events or a folded state), the ledger,
+ * the fills, and the optional external snapshot are inputs; the tolerance is explicit; the result is
+ * a content-addressed `totalfinance.reconciliation-report`.
+ */
+export declare function reconcileExecution(input: ReconcileExecutionInput): ReconciliationReport;
+//# sourceMappingURL=reconcile.d.ts.map

package/modules/portfolio/dist/trade/reconcile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../../src/trade/reconcile.ts"],"names":[],"mappings":"AAuBA,OAAO,EAKL,KAAK,uBAAuB,EAG5B,KAAK,oBAAoB,EAC1B,MAAM,YAAY,CAAC;AA4DpB;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,GAAG,oBAAoB,CAkLvF"}