@insiderfinance/totalfinance 0.1.0

package/modules/strategy/dist/manifest.js

@@ -0,0 +1,376 @@
+/**
+ * The strategy manifest (dx §4.5 / §5.2) — the single registry of every named builder.
+ *
+ * Each entry wraps its raw builder so the returned Position carries `constructedAs` (provenance:
+ * how it was built — a fact that can never go stale because Positions are immutable). The entry's
+ * `example` is a canonical, buildable input used three ways: `listStrategies()` (agents self-serve
+ * each builder's input shape), the classifier's derived structural signatures (`classify.ts`), and
+ * the round-trip law in CI (every builder's output must classify back to its own name).
+ *
+ * Identity after edits is NOT this file's job — a tweaked leg list may be no named strategy at
+ * all. Use `classifyStrategy(legs)` for "what is this now?"; `constructedAs` only answers "how did
+ * it start?".
+ */
+import { ErrorCode, InputError, ensureKnownKeys, ensureFiniteWhenPresent, ensurePositive, requireArgumentObject, wrongShapeError, } from '../../core/dist/index.js';
+/**
+ * Reject a `null` anywhere in a builder's input/config tree with the field's dotted path. Plain
+ * objects and arrays recurse; class instances (a `Position`, a Date) do not — a builder input is
+ * data, and the only object-valued members it declares are plain (`market`, `legs` rows).
+ */
+/**
+ * The example IS the type witness: every builder registers a canonical, buildable input, so the
+ * wrapper can hold each REQUIRED field to the example's own primitive shape without a schema —
+ * `coveredCall({ stockPrice: 'x' })` used to reach the stock leg constructor and build a NaN position as
+ * if it had succeeded, and an omitted stockPrice did the same. Optional fields (premiums are
+ * deliberately absent from examples) are covered by the name-convention ladder in the null walk.
+ */
+function requireExampleShape(functionName, path, example, input) {
+    for (const [key, sample] of Object.entries(example)) {
+        const memberPath = path === 'input' ? key : `${path}.${key}`;
+        const value = input[key];
+        // Missing slots are NOT judged here: a wholly-wrong shape gets the builder's curated
+        // wrong_shape teaching (F15 — received-keys echo beats naming one missing field), and the
+        // wrapper convicts a missing slot only when the builder SILENTLY accepts it (below).
+        if (value === undefined)
+            continue;
+        if (typeof sample === 'number') {
+            // The example shows the bare-strike SHORTHAND; several slots also accept the object leg
+            // form ({ strike, premium }) the example cannot witness — a plain object passes here and
+            // the null/premium walk covers its members. Primitives other than a finite number teach.
+            const isLegObject = value !== null && typeof value === 'object' && !Array.isArray(value);
+            if (!isLegObject && (typeof value !== 'number' || !Number.isFinite(value))) {
+                throw new InputError(`${functionName}: ${memberPath} must be a finite number (e.g. ${String(sample)}); role slots also accept a leg object \`{ strike, premium? }\`. Received ${value === null ? 'null' : typeof value === 'number' ? String(value) : typeof value}.`, {
+                    code: ErrorCode.InputWrongType,
+                    context: { function: functionName, field: memberPath, received: value },
+                });
+            }
+        }
+        else if (typeof sample === 'string') {
+            if (typeof value !== 'string') {
+                throw new InputError(`${functionName}: ${memberPath} must be a string (e.g. ${JSON.stringify(sample)}). Received ${value === null ? 'null' : typeof value}.`, {
+                    code: ErrorCode.InputWrongType,
+                    context: { function: functionName, field: memberPath, received: value },
+                });
+            }
+        }
+        else if (sample !== null &&
+            typeof sample === 'object' &&
+            !Array.isArray(sample) &&
+            value !== null &&
+            typeof value === 'object' &&
+            !Array.isArray(value)) {
+            requireExampleShape(functionName, memberPath, sample, value);
+        }
+    }
+}
+/** Optional premium fields share one vocabulary package-wide: a present premium is a finite number. */
+function isPremiumKey(key) {
+    return key === 'premium' || key.endsWith('Premium');
+}
+function rejectNullFields(functionName, path, value) {
+    if (Array.isArray(value)) {
+        for (const [index, element] of value.entries()) {
+            rejectNullFields(functionName, `${path}[${String(index)}]`, element);
+        }
+        return;
+    }
+    if (value === null || typeof value !== 'object')
+        return;
+    if (Object.getPrototypeOf(value) !== Object.prototype)
+        return;
+    for (const [key, member] of Object.entries(value)) {
+        const memberPath = path === 'input' ? key : `${path}.${key}`;
+        if (member === null) {
+            throw new InputError(`${functionName}: ${memberPath} must not be null — omit the field instead. Received null.`, {
+                code: ErrorCode.InputWrongType,
+                context: { function: functionName, field: memberPath, received: 'null' },
+            });
+        }
+        if (isPremiumKey(key) && (typeof member !== 'number' || !Number.isFinite(member))) {
+            throw new InputError(`${functionName}: ${memberPath} must be a finite number when provided — the premium per share in currency units. Received ${typeof member === 'number' ? String(member) : typeof member}.`, {
+                code: ErrorCode.InputWrongType,
+                context: { function: functionName, field: memberPath, received: member },
+            });
+        }
+        rejectNullFields(functionName, memberPath, member);
+    }
+}
+import * as b from './builders.js';
+import * as cal from './calendars.js';
+import { withProvenance } from './position.js';
+import * as s from './strategies.js';
+import { POSITION_CONFIG_KEYS } from './types.js';
+const REGISTRY = [];
+/**
+ * Wrap a raw builder: register it, guard its input container centrally (the first-touch law — one
+ * guard here covers every named builder), and stamp `constructedAs` on every Position it returns.
+ */
+/**
+ * EXACT per-builder input fields (Law 12, D4) — extracted from each builder's input INTERFACE
+ * (extends-resolved), so `longCall` does not silently accept `putPremium` and a typo of any
+ * field gets a did-you-mean against exactly the fields that builder reads. Regenerate by
+ * re-running the interface extraction if a builder's input type changes; the unknown-key sweep
+ * fails if a builder accepts a key that is not in its list.
+ */
+const BUILDER_FIELDS = {
+    bearCallLadder: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    bearCallSpread: ['expiry', 'long', 'quantity', 'short'],
+    bearPutLadder: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    bearPutSpread: ['expiry', 'long', 'quantity', 'short'],
+    bullCallLadder: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    bullCallSpread: ['expiry', 'long', 'quantity', 'short'],
+    bullPutLadder: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    bullPutSpread: ['expiry', 'long', 'quantity', 'short'],
+    calendarCallSpread: [
+        'farExpiry',
+        'longPremium',
+        'nearExpiry',
+        'quantity',
+        'shortPremium',
+        'strike',
+    ],
+    calendarPutSpread: [
+        'farExpiry',
+        'longPremium',
+        'nearExpiry',
+        'quantity',
+        'shortPremium',
+        'strike',
+    ],
+    callBrokenWing: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    callRatioBackspread: ['expiry', 'long', 'quantity', 'ratio', 'short'],
+    callRatioSpread: ['expiry', 'long', 'quantity', 'ratio', 'short'],
+    cashSecuredPut: ['expiry', 'premium', 'quantity', 'strike'],
+    collar: ['call', 'expiry', 'put', 'quantity', 'stockPrice'],
+    coveredCall: ['expiry', 'premium', 'quantity', 'stockPrice', 'strike'],
+    coveredShortStraddle: ['callPremium', 'expiry', 'putPremium', 'quantity', 'stockPrice', 'strike'],
+    coveredShortStrangle: ['call', 'expiry', 'put', 'quantity', 'stockPrice'],
+    diagonalCallSpread: [
+        'farExpiry',
+        'longPremium',
+        'longStrike',
+        'nearExpiry',
+        'quantity',
+        'shortPremium',
+        'shortStrike',
+    ],
+    diagonalPutSpread: [
+        'farExpiry',
+        'longPremium',
+        'longStrike',
+        'nearExpiry',
+        'quantity',
+        'shortPremium',
+        'shortStrike',
+    ],
+    doubleDiagonal: ['call', 'farExpiry', 'nearExpiry', 'put', 'quantity'],
+    guts: ['expiry', 'lower', 'quantity', 'upper'],
+    inverseCallBrokenWing: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    inverseIronButterfly: ['body', 'callWing', 'expiry', 'putWing', 'quantity'],
+    inverseIronCondor: ['callLong', 'callShort', 'expiry', 'putLong', 'putShort', 'quantity'],
+    inversePutBrokenWing: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    ironButterfly: ['body', 'callWing', 'expiry', 'putWing', 'quantity'],
+    ironCondor: ['callLong', 'callShort', 'expiry', 'putLong', 'putShort', 'quantity'],
+    jadeLizard: ['expiry', 'longCall', 'put', 'quantity', 'shortCall'],
+    longCall: ['expiry', 'premium', 'quantity', 'strike'],
+    longCallButterfly: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    longCallCondor: ['expiry', 'k1', 'k2', 'k3', 'k4', 'quantity'],
+    longCombo: ['expiry', 'lower', 'quantity', 'upper'],
+    longPut: ['expiry', 'premium', 'quantity', 'strike'],
+    longPutButterfly: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    longPutCondor: ['expiry', 'k1', 'k2', 'k3', 'k4', 'quantity'],
+    longSyntheticFuture: ['callPremium', 'expiry', 'putPremium', 'quantity', 'strike'],
+    protectivePut: ['expiry', 'premium', 'quantity', 'stockPrice', 'strike'],
+    putBrokenWing: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    putRatioBackspread: ['expiry', 'long', 'quantity', 'ratio', 'short'],
+    putRatioSpread: ['expiry', 'long', 'quantity', 'ratio', 'short'],
+    reverseJadeLizard: ['call', 'expiry', 'longPut', 'quantity', 'shortPut'],
+    shortCall: ['expiry', 'premium', 'quantity', 'strike'],
+    shortCallButterfly: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    shortCallCondor: ['expiry', 'k1', 'k2', 'k3', 'k4', 'quantity'],
+    shortCombo: ['expiry', 'lower', 'quantity', 'upper'],
+    shortGuts: ['expiry', 'lower', 'quantity', 'upper'],
+    shortPut: ['expiry', 'premium', 'quantity', 'strike'],
+    shortPutButterfly: ['expiry', 'lower', 'middle', 'quantity', 'upper'],
+    shortPutCondor: ['expiry', 'k1', 'k2', 'k3', 'k4', 'quantity'],
+    shortStraddle: ['callPremium', 'expiry', 'putPremium', 'quantity', 'strike'],
+    shortStrangle: ['call', 'expiry', 'put', 'quantity'],
+    shortSyntheticFuture: ['callPremium', 'expiry', 'putPremium', 'quantity', 'strike'],
+    straddle: ['callPremium', 'expiry', 'putPremium', 'quantity', 'strike'],
+    strangle: ['call', 'expiry', 'put', 'quantity'],
+    strap: ['callPremium', 'expiry', 'putPremium', 'quantity', 'strike'],
+    strip: ['callPremium', 'expiry', 'putPremium', 'quantity', 'strike'],
+    syntheticPut: ['expiry', 'premium', 'quantity', 'stockPrice', 'strike'],
+};
+function named(name, description, build, example, multiExpiry = false) {
+    const allowed = BUILDER_FIELDS[name] ??
+        [...new Set([...Object.keys(example), 'quantity', 'expiry'])];
+    const wrapped = (input, config) => {
+        if (input === null || typeof input !== 'object') {
+            throw wrongShapeError(`strategy.${name}`, `${JSON.stringify(example)} (see listStrategies() for every builder's example input)`, input);
+        }
+        // Law 12, ordered for the best teaching: when unknown keys accompany MISSING structural
+        // slots the caller has the wrong shape entirely — defer to the builder's own curated
+        // validateSlots/rejectRetiredKey errors (received-keys echo, retired-key replacements).
+        // Unknown keys alongside a complete shape are a typo — did-you-mean here.
+        const keys = Object.keys(input);
+        const missingStructural = Object.keys(example).some((k) => !keys.includes(k));
+        // Retired keys (the nested `premiums` object) and a bare `expiry` on the per-side expiry
+        // families (calendars/diagonals teach nearExpiry/farExpiry, R4) have CURATED replacement
+        // teaching in the builders — let that fire rather than a generic unknown-field error.
+        const hasRetired = keys.includes('premiums') || (keys.includes('expiry') && !allowed.includes('expiry'));
+        if (!missingStructural && !hasRetired) {
+            ensureKnownKeys(`strategy.${name}`, 'input', input, allowed);
+        }
+        // The CONFIG argument obeys Law 12 too (D4): `{ premums: 'model' }` must teach, never
+        // silently price with user premiums.
+        if (config !== null && typeof config === 'object') {
+            ensureKnownKeys(`strategy.${name}`, 'config', config, POSITION_CONFIG_KEYS);
+        }
+        // Null is not omission (the 350c2796 ruling, applied at this ONE gate for every builder):
+        // `{ expiry: null }` fell through each builder's `?? default` and silently built an
+        // expiry-less position — the silent-default class, arriving as null does in practice
+        // (`JSON.stringify(NaN)`, a LEFT JOIN, a producer "clearing" a field). No builder input or
+        // config field declares `| null`, so the walk is unconditional; it recurses through plain
+        // objects and arrays (`market.dividendYield: null`, a leg's `premium: null`) because a nested
+        // null defaults just as silently as a top-level one.
+        rejectNullFields(`strategy.${name}`, 'input', input);
+        if (config !== null && typeof config === 'object') {
+            rejectNullFields(`strategy.${name}`, 'config', config);
+        }
+        // The example-shape walk LAST, so the curated teaching above (retired keys, did-you-mean,
+        // null-is-not-omission) keeps firing for its own classes first.
+        requireExampleShape(`strategy.${name}`, 'input', example, input);
+        // Provenance rides the config THROUGH the constructor: positions freeze at construction
+        // (dx §4.4), so a post-construction defineProperty would throw on the frozen instance.
+        const missingKeys = Object.keys(example).filter((key) => input[key] === undefined);
+        // Presets name their direction. A negative structure count must not invert that name now
+        // that the instrument-first leg constructors intentionally accept signed quantities.
+        const quantity = input['quantity'];
+        ensureFiniteWhenPresent(quantity, 'quantity', `strategy.${name}`);
+        if (quantity !== undefined)
+            ensurePositive(quantity, 'quantity', `strategy.${name}`);
+        const built = build(input, withProvenance(name, config));
+        // A builder that RETURNED with a required slot absent built a NaN position and called it
+        // success — the covered family did exactly this with stockPrice. Builders with curated slot
+        // validation threw above (their teaching wins); silence is what gets convicted here.
+        if (missingKeys.length > 0) {
+            throw new InputError(`strategy.${name}: ${missingKeys[0]} is required. A complete call: ${name}(${JSON.stringify(example)}).`, {
+                code: ErrorCode.InputMissingField,
+                context: { function: `strategy.${name}`, field: missingKeys[0] },
+            });
+        }
+        return built;
+    };
+    REGISTRY.push({ name, description, multiExpiry, example, builder: wrapped });
+    return wrapped;
+}
+// ── single legs ────────────────────────────────────────────────────────────────────────────────
+export const longCall = named('longCall', 'Long a single call.', s.longCall, { strike: 105 });
+export const shortCall = named('shortCall', 'Short a single call.', s.shortCall, { strike: 110 });
+export const longPut = named('longPut', 'Long a single put.', s.longPut, { strike: 100 });
+export const shortPut = named('shortPut', 'Short a single put.', s.shortPut, { strike: 95 });
+export const cashSecuredPut = named('cashSecuredPut', 'Short put (cash-secured — identical payoff; the "secured" is a margin distinction).', s.cashSecuredPut, { strike: 95 });
+// ── verticals ──────────────────────────────────────────────────────────────────────────────────
+export const bullCallSpread = named('bullCallSpread', 'Long lower call, short higher call (debit, bullish, defined risk).', b.bullCallSpread, { long: 100, short: 110 });
+export const bearCallSpread = named('bearCallSpread', 'Short lower call, long higher call (credit, bearish, defined risk).', b.bearCallSpread, { long: 110, short: 100 });
+export const bullPutSpread = named('bullPutSpread', 'Short higher put, long lower put (credit, bullish, defined risk).', b.bullPutSpread, { long: 95, short: 105 });
+export const bearPutSpread = named('bearPutSpread', 'Long higher put, short lower put (debit, bearish, defined risk).', b.bearPutSpread, { long: 105, short: 95 });
+// ── straddles / strangles ──────────────────────────────────────────────────────────────────────
+export const straddle = named('straddle', 'Long call + long put at one strike (long volatility).', b.straddle, { strike: 105 });
+export const strangle = named('strangle', 'Long OTM call + long OTM put (long volatility, wider breakevens).', b.strangle, { call: 115, put: 95 });
+export const shortStraddle = named('shortStraddle', 'Short call + short put at one strike (short volatility, undefined risk).', s.shortStraddle, { strike: 105 });
+export const shortStrangle = named('shortStrangle', 'Short OTM call + short OTM put (short volatility, undefined risk).', s.shortStrangle, { call: 115, put: 95 });
+export const strip = named('strip', 'Long 1 call + 2 puts at one strike (volatility, bearish bias).', s.strip, { strike: 105 });
+export const strap = named('strap', 'Long 2 calls + 1 put at one strike (volatility, bullish bias).', s.strap, { strike: 105 });
+// ── guts / combos / synthetics ─────────────────────────────────────────────────────────────────
+export const guts = named('guts', 'Long ITM call (lower) + long ITM put (upper).', s.guts, {
+    lower: 95,
+    upper: 115,
+});
+export const shortGuts = named('shortGuts', 'Short ITM call (lower) + short ITM put (upper).', s.shortGuts, { lower: 95, upper: 115 });
+export const longCombo = named('longCombo', 'Long upper call + short lower put (synthetic long at split strikes).', s.longCombo, { lower: 95, upper: 115 });
+export const shortCombo = named('shortCombo', 'Short upper call + long lower put (synthetic short at split strikes).', s.shortCombo, { lower: 95, upper: 115 });
+export const longSyntheticFuture = named('longSyntheticFuture', 'Long call + short put at one strike (synthetic long stock).', s.longSyntheticFuture, { strike: 105 });
+export const shortSyntheticFuture = named('shortSyntheticFuture', 'Short call + long put at one strike (synthetic short stock).', s.shortSyntheticFuture, { strike: 105 });
+export const syntheticPut = named('syntheticPut', 'Short stock + long call (synthetic long put).', s.syntheticPut, { strike: 105, stockPrice: 105 });
+// ── ladders / broken wings ─────────────────────────────────────────────────────────────────────
+export const bullCallLadder = named('bullCallLadder', 'Long lower call, short middle + upper calls.', s.bullCallLadder, { lower: 100, middle: 110, upper: 120 });
+export const bearCallLadder = named('bearCallLadder', 'Short lower call, long middle + upper calls.', s.bearCallLadder, { lower: 100, middle: 110, upper: 120 });
+export const bullPutLadder = named('bullPutLadder', 'Short upper put, long middle + lower puts.', s.bullPutLadder, { lower: 90, middle: 100, upper: 110 });
+export const bearPutLadder = named('bearPutLadder', 'Long upper put, short middle + lower puts.', s.bearPutLadder, { lower: 90, middle: 100, upper: 110 });
+export const callBrokenWing = named('callBrokenWing', 'Call butterfly with asymmetric wings (skip-strike, directional).', s.callBrokenWing, { lower: 100, middle: 110, upper: 125 });
+export const putBrokenWing = named('putBrokenWing', 'Put butterfly with asymmetric wings (skip-strike, directional).', s.putBrokenWing, { lower: 85, middle: 100, upper: 110 });
+export const inverseCallBrokenWing = named('inverseCallBrokenWing', 'Inverse call broken-wing: short/long·2/short with asymmetric wings.', s.inverseCallBrokenWing, { lower: 100, middle: 110, upper: 125 });
+export const inversePutBrokenWing = named('inversePutBrokenWing', 'Inverse put broken-wing: short/long·2/short with asymmetric wings.', s.inversePutBrokenWing, { lower: 85, middle: 100, upper: 110 });
+// ── jade lizards ───────────────────────────────────────────────────────────────────────────────
+export const jadeLizard = named('jadeLizard', 'Short put + short call spread (credit > call-spread width ⇒ no upside risk).', s.jadeLizard, { put: 95, shortCall: 110, longCall: 115 });
+export const reverseJadeLizard = named('reverseJadeLizard', 'Short call + short put spread (mirror jade lizard).', s.reverseJadeLizard, { call: 115, shortPut: 100, longPut: 95 });
+// ── ratio spreads / backspreads ────────────────────────────────────────────────────────────────
+export const callRatioSpread = named('callRatioSpread', 'Long 1 call, short N further calls (default 1×2).', s.callRatioSpread, { long: 105, short: 115 });
+export const putRatioSpread = named('putRatioSpread', 'Long 1 put, short N further puts (default 1×2).', s.putRatioSpread, { long: 105, short: 95 });
+export const callRatioBackspread = named('callRatioBackspread', 'Short 1 near call, long N further calls (default 1×2).', s.callRatioBackspread, { long: 115, short: 105 });
+export const putRatioBackspread = named('putRatioBackspread', 'Short 1 near put, long N further puts (default 1×2).', s.putRatioBackspread, { long: 95, short: 105 });
+// ── butterflies / condors (single-type) ────────────────────────────────────────────────────────
+export const longCallButterfly = named('longCallButterfly', 'Long/short·2/long calls, symmetric wings (pin risk play).', s.longCallButterfly, { lower: 95, middle: 105, upper: 115 });
+export const longPutButterfly = named('longPutButterfly', 'Long/short·2/long puts, symmetric wings.', s.longPutButterfly, { lower: 95, middle: 105, upper: 115 });
+export const shortCallButterfly = named('shortCallButterfly', 'Short/long·2/short calls, symmetric wings.', s.shortCallButterfly, { lower: 95, middle: 105, upper: 115 });
+export const shortPutButterfly = named('shortPutButterfly', 'Short/long·2/short puts, symmetric wings.', s.shortPutButterfly, { lower: 95, middle: 105, upper: 115 });
+export const longCallCondor = named('longCallCondor', 'Long k1/short k2/short k3/long k4 calls (all-call condor).', s.longCallCondor, { k1: 90, k2: 100, k3: 110, k4: 120 });
+export const longPutCondor = named('longPutCondor', 'Long k1/short k2/short k3/long k4 puts (all-put condor).', s.longPutCondor, { k1: 90, k2: 100, k3: 110, k4: 120 });
+export const shortCallCondor = named('shortCallCondor', 'Short k1/long k2/long k3/short k4 calls.', s.shortCallCondor, { k1: 90, k2: 100, k3: 110, k4: 120 });
+export const shortPutCondor = named('shortPutCondor', 'Short k1/long k2/long k3/short k4 puts.', s.shortPutCondor, { k1: 90, k2: 100, k3: 110, k4: 120 });
+// ── iron structures ────────────────────────────────────────────────────────────────────────────
+export const ironCondor = named('ironCondor', 'Short put spread + short call spread (credit, range-bound, defined risk).', b.ironCondor, { putLong: 90, putShort: 95, callShort: 110, callLong: 115 });
+export const inverseIronCondor = named('inverseIronCondor', 'Long inner strangle + short outer wings (reverse iron condor).', s.inverseIronCondor, { putLong: 90, putShort: 95, callShort: 110, callLong: 115 });
+export const ironButterfly = named('ironButterfly', 'Short ATM straddle + long OTM wings (credit, pin play, defined risk).', s.ironButterfly, { body: { strike: 105 }, putWing: 95, callWing: 115 });
+export const inverseIronButterfly = named('inverseIronButterfly', 'Long ATM straddle + short OTM wings (reverse iron butterfly).', s.inverseIronButterfly, { body: { strike: 105 }, putWing: 95, callWing: 115 });
+// ── stock + option combinations ────────────────────────────────────────────────────────────────
+export const coveredCall = named('coveredCall', 'Long 100·q shares + short q calls.', s.coveredCall, { stockPrice: 105, strike: 115 });
+export const protectivePut = named('protectivePut', 'Long 100·q shares + long q puts.', s.protectivePut, { stockPrice: 105, strike: 95 });
+export const collar = named('collar', 'Long 100·q shares + long put + short call (bounded both ways).', s.collar, { stockPrice: 105, put: 95, call: 115 });
+export const coveredShortStraddle = named('coveredShortStraddle', 'Long 100·q shares + short straddle at one strike.', s.coveredShortStraddle, { stockPrice: 105, strike: 105 });
+export const coveredShortStrangle = named('coveredShortStrangle', 'Long 100·q shares + short strangle at split strikes.', s.coveredShortStrangle, { stockPrice: 105, call: 115, put: 95 });
+// ── multi-expiry (calendars / diagonals) ───────────────────────────────────────────────────────
+const NEAR = '2026-06-19';
+const FAR = '2026-09-18';
+export const calendarCallSpread = named('calendarCallSpread', 'Short near call + long far call at one strike (horizontal).', cal.calendarCallSpread, { strike: 105, nearExpiry: NEAR, farExpiry: FAR }, true);
+export const calendarPutSpread = named('calendarPutSpread', 'Short near put + long far put at one strike (horizontal).', cal.calendarPutSpread, { strike: 105, nearExpiry: NEAR, farExpiry: FAR }, true);
+export const diagonalCallSpread = named('diagonalCallSpread', 'Short near call + long far call at different strikes.', cal.diagonalCallSpread, { shortStrike: 110, nearExpiry: NEAR, longStrike: 100, farExpiry: FAR }, true);
+export const diagonalPutSpread = named('diagonalPutSpread', 'Short near put + long far put at different strikes.', cal.diagonalPutSpread, { shortStrike: 100, nearExpiry: NEAR, longStrike: 110, farExpiry: FAR }, true);
+export const doubleDiagonal = named('doubleDiagonal', 'Short near strangle financing a long far strangle.', cal.doubleDiagonal, {
+    nearExpiry: NEAR,
+    farExpiry: FAR,
+    call: { shortStrike: 110, longStrike: 115 },
+    put: { shortStrike: 100, longStrike: 95 },
+}, true);
+/** Every named builder: name, description, multi-expiry flag, and a canonical example input. */
+export function listStrategies() {
+    return REGISTRY.map(({ builder: _builder, ...descriptor }) => ({ ...descriptor }));
+}
+export function buildStrategy(request) {
+    requireArgumentObject('buildStrategy', 'request', request);
+    ensureKnownKeys('buildStrategy', 'request', request, ['name', 'input', 'config']);
+    const { name, input, config } = request;
+    if (typeof name !== 'string') {
+        throw new InputError(`buildStrategy: name must be a strategy name string (e.g. 'ironCondor' — see listStrategies()), got ${name === null ? 'null' : typeof name}.`, { code: ErrorCode.InputWrongType, context: { name } });
+    }
+    const entry = REGISTRY.find((e) => e.name === name);
+    if (entry === undefined) {
+        const near = REGISTRY.find((e) => e.name.toLowerCase() === name.toLowerCase());
+        throw new InputError(`buildStrategy: unknown strategy '${name}'.${near ? ` Did you mean '${near.name}'?` : ''} listStrategies() returns the full catalog with example inputs.`, {
+            code: ErrorCode.InputInvalidEnum,
+            context: { name, known: REGISTRY.map((e) => e.name) },
+        });
+    }
+    return entry.builder(input, config);
+}
+/**
+ * INTERNAL — the registry with live builders, for the classifier and the round-trip law in CI.
+ * Not part of the public surface: apps and agents use `listStrategies()` (the catalog) and
+ * `buildStrategy({ name, input })` (dynamic dispatch) instead. Import path: `./manifest.js` only.
+ */
+export function strategyRegistry() {
+    return REGISTRY;
+}
+//# sourceMappingURL=manifest.js.map

package/modules/strategy/dist/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EACL,SAAS,EACT,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,cAAc,EACd,qBAAqB,EACrB,eAAe,GAChB,MAAM,0BAAoB,CAAC;AAE5B;;;;GAIG;AACH;;;;;;GAMG;AACH,SAAS,mBAAmB,CAC1B,YAAoB,EACpB,IAAY,EACZ,OAAgC,EAChC,KAA8B;IAE9B,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,MAAM,UAAU,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,qFAAqF;QACrF,0FAA0F;QAC1F,qFAAqF;QACrF,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,wFAAwF;YACxF,yFAAyF;YACzF,yFAAyF;YACzF,MAAM,WAAW,GAAG,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACzF,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC3E,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,KAAK,UAAU,kCAAkC,MAAM,CAAC,MAAM,CAAC,6EAA6E,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,EAChP;oBACE,IAAI,EAAE,SAAS,CAAC,cAAc;oBAC9B,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE;iBACxE,CACF,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,KAAK,UAAU,2BAA2B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,EACvI;oBACE,IAAI,EAAE,SAAS,CAAC,cAAc;oBAC9B,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE;iBACxE,CACF,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IACL,MAAM,KAAK,IAAI;YACf,OAAO,MAAM,KAAK,QAAQ;YAC1B,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACtB,KAAK,KAAK,IAAI;YACd,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EACrB,CAAC;YACD,mBAAmB,CACjB,YAAY,EACZ,UAAU,EACV,MAAiC,EACjC,KAAgC,CACjC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,SAAS,YAAY,CAAC,GAAW;IAC/B,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,gBAAgB,CAAC,YAAoB,EAAE,IAAY,EAAE,KAAc;IAC1E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,gBAAgB,CAAC,YAAY,EAAE,GAAG,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACvE,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO;IACxD,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS;QAAE,OAAO;IAC9D,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;QAC7E,MAAM,UAAU,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;QAC7D,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,KAAK,UAAU,4DAA4D,EAC1F;gBACE,IAAI,EAAE,SAAS,CAAC,cAAc;gBAC9B,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE;aACzE,CACF,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAClF,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,KAAK,UAAU,8FAA8F,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,MAAM,GAAG,EAC1L;gBACE,IAAI,EAAE,SAAS,CAAC,cAAc;gBAC9B,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE;aACzE,CACF,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AACD,OAAO,KAAK,CAAC,MAAM,eAAe,CAAC;AACnC,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAiB,cAAc,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,KAAK,CAAC,MAAM,iBAAiB,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAuB,MAAM,YAAY,CAAC;AAmBvE,MAAM,QAAQ,GAAoB,EAAE,CAAC;AAErC;;;GAGG;AACH;;;;;;GAMG;AACH,MAAM,cAAc,GAAsC;IACxD,cAAc,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IAClE,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC;IACvD,aAAa,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACjE,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC;IACtD,cAAc,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IAClE,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC;IACvD,aAAa,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACjE,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC;IACtD,kBAAkB,EAAE;QAClB,WAAW;QACX,aAAa;QACb,YAAY;QACZ,UAAU;QACV,cAAc;QACd,QAAQ;KACT;IACD,iBAAiB,EAAE;QACjB,WAAW;QACX,aAAa;QACb,YAAY;QACZ,UAAU;QACV,cAAc;QACd,QAAQ;KACT;IACD,cAAc,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IAClE,mBAAmB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;IACrE,eAAe,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;IACjE,cAAc,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC;IAC3D,MAAM,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC;IAC3D,WAAW,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC;IACtE,oBAAoB,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC;IACjG,oBAAoB,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,CAAC;IACzE,kBAAkB,EAAE;QAClB,WAAW;QACX,aAAa;QACb,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,cAAc;QACd,aAAa;KACd;IACD,iBAAiB,EAAE;QACjB,WAAW;QACX,aAAa;QACb,YAAY;QACZ,YAAY;QACZ,UAAU;QACV,cAAc;QACd,aAAa;KACd;IACD,cAAc,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC;IACtE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC;IAC9C,qBAAqB,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACzE,oBAAoB,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC;IAC3E,iBAAiB,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;IACzF,oBAAoB,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACxE,aAAa,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC;IACpE,UAAU,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;IAClF,UAAU,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC;IAClE,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC;IACrD,iBAAiB,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACrE,cAAc,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC;IAC9D,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC;IACnD,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC;IACpD,gBAAgB,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACpE,aAAa,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC;IAC7D,mBAAmB,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC;IAClF,aAAa,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC;IACxE,aAAa,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACjE,kBAAkB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;IACpE,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;IAChE,iBAAiB,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;IACxE,SAAS,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC;IACtD,kBAAkB,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACtE,eAAe,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC;IAC/D,UAAU,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC;IACpD,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC;IACnD,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC;IACrD,iBAAiB,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC;IACrE,cAAc,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC;IAC9D,aAAa,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC;IAC5E,aAAa,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC;IACpD,oBAAoB,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC;IACnF,QAAQ,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC;IACvE,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC;IAC/C,KAAK,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC;IACpE,KAAK,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC;IACpE,YAAY,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC;CACxE,CAAC;AAEF,SAAS,KAAK,CACZ,IAAY,EACZ,WAAmB,EACnB,KAAsD,EACtD,OAAoC,EACpC,WAAW,GAAG,KAAK;IAEnB,MAAM,OAAO,GACX,cAAc,CAAC,IAAI,CAAC;QACnB,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAuB,CAAC;IACvF,MAAM,OAAO,GAAG,CAAC,KAAQ,EAAE,MAAuB,EAAY,EAAE;QAC9D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAChD,MAAM,eAAe,CACnB,YAAY,IAAI,EAAE,EAClB,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,2DAA2D,EACrF,KAAK,CACN,CAAC;QACJ,CAAC;QACD,wFAAwF;QACxF,qFAAqF;QACrF,wFAAwF;QACxF,0EAA0E;QAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,yFAAyF;QACzF,yFAAyF;QACzF,sFAAsF;QACtF,MAAM,UAAU,GACd,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxF,IAAI,CAAC,iBAAiB,IAAI,CAAC,UAAU,EAAE,CAAC;YACtC,eAAe,CAAC,YAAY,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;QACD,sFAAsF;QACtF,qCAAqC;QACrC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAClD,eAAe,CAAC,YAAY,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC;QAC9E,CAAC;QACD,0FAA0F;QAC1F,oFAAoF;QACpF,qFAAqF;QACrF,2FAA2F;QAC3F,0FAA0F;QAC1F,8FAA8F;QAC9F,qDAAqD;QACrD,gBAAgB,CAAC,YAAY,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACrD,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAClD,gBAAgB,CAAC,YAAY,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC;QACD,0FAA0F;QAC1F,gEAAgE;QAChE,mBAAmB,CACjB,YAAY,IAAI,EAAE,EAClB,OAAO,EACP,OAAkC,EAClC,KAA2C,CAC5C,CAAC;QACF,wFAAwF;QACxF,uFAAuF;QACvF,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAC7C,CAAC,GAAG,EAAE,EAAE,CAAE,KAAiC,CAAC,GAAG,CAAC,KAAK,SAAS,CAC/D,CAAC;QACF,yFAAyF;QACzF,qFAAqF;QACrF,MAAM,QAAQ,GAAI,KAAiC,CAAC,UAAU,CAAC,CAAC;QAChE,uBAAuB,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;QAClE,IAAI,QAAQ,KAAK,SAAS;YAAE,cAAc,CAAC,QAAkB,EAAE,UAAU,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;QAC/F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACzD,yFAAyF;QACzF,4FAA4F;QAC5F,qFAAqF;QACrF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,UAAU,CAClB,YAAY,IAAI,KAAK,WAAW,CAAC,CAAC,CAAE,kCAAkC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EACzG;gBACE,IAAI,EAAE,SAAS,CAAC,iBAAiB;gBACjC,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE;aACjE,CACF,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAgB,EAAE,CAAC,CAAC;IACtF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,EAAE,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9F,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,EAAE,sBAAsB,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAClG,MAAM,CAAC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,EAAE,oBAAoB,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1F,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,EAAE,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;AAC7F,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,qFAAqF,EACrF,CAAC,CAAC,cAAc,EAChB,EAAE,MAAM,EAAE,EAAE,EAAE,CACf,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,oEAAoE,EACpE,CAAC,CAAC,cAAc,EAChB,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAC1B,CAAC;AACF,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,qEAAqE,EACrE,CAAC,CAAC,cAAc,EAChB,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAC1B,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,mEAAmE,EACnE,CAAC,CAAC,aAAa,EACf,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CACzB,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,kEAAkE,EAClE,CAAC,CAAC,aAAa,EACf,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CACzB,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAC3B,UAAU,EACV,uDAAuD,EACvD,CAAC,CAAC,QAAQ,EACV,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAC;AACF,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAC3B,UAAU,EACV,mEAAmE,EACnE,CAAC,CAAC,QAAQ,EACV,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CACvB,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,0EAA0E,EAC1E,CAAC,CAAC,aAAa,EACf,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,oEAAoE,EACpE,CAAC,CAAC,aAAa,EACf,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CACvB,CAAC;AACF,MAAM,CAAC,MAAM,KAAK,GAAG,KAAK,CACxB,OAAO,EACP,gEAAgE,EAChE,CAAC,CAAC,KAAK,EACP,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAC;AACF,MAAM,CAAC,MAAM,KAAK,GAAG,KAAK,CACxB,OAAO,EACP,gEAAgE,EAChE,CAAC,CAAC,KAAK,EACP,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,+CAA+C,EAAE,CAAC,CAAC,IAAI,EAAE;IACzF,KAAK,EAAE,EAAE;IACT,KAAK,EAAE,GAAG;CACX,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,CAC5B,WAAW,EACX,iDAAiD,EACjD,CAAC,CAAC,SAAS,EACX,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAC1B,CAAC;AACF,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,CAC5B,WAAW,EACX,sEAAsE,EACtE,CAAC,CAAC,SAAS,EACX,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAC1B,CAAC;AACF,MAAM,CAAC,MAAM,UAAU,GAAG,KAAK,CAC7B,YAAY,EACZ,uEAAuE,EACvE,CAAC,CAAC,UAAU,EACZ,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAC1B,CAAC;AACF,MAAM,CAAC,MAAM,mBAAmB,GAAG,KAAK,CACtC,qBAAqB,EACrB,6DAA6D,EAC7D,CAAC,CAAC,mBAAmB,EACrB,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAC;AACF,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CACvC,sBAAsB,EACtB,8DAA8D,EAC9D,CAAC,CAAC,oBAAoB,EACtB,EAAE,MAAM,EAAE,GAAG,EAAE,CAChB,CAAC;AACF,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,CAC/B,cAAc,EACd,+CAA+C,EAC/C,CAAC,CAAC,YAAY,EACd,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CACjC,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,8CAA8C,EAC9C,CAAC,CAAC,cAAc,EAChB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACxC,CAAC;AACF,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,8CAA8C,EAC9C,CAAC,CAAC,cAAc,EAChB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACxC,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,4CAA4C,EAC5C,CAAC,CAAC,aAAa,EACf,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,4CAA4C,EAC5C,CAAC,CAAC,aAAa,EACf,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AACF,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,kEAAkE,EAClE,CAAC,CAAC,cAAc,EAChB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACxC,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,iEAAiE,EACjE,CAAC,CAAC,aAAa,EACf,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AACF,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAK,CACxC,uBAAuB,EACvB,qEAAqE,EACrE,CAAC,CAAC,qBAAqB,EACvB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACxC,CAAC;AACF,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CACvC,sBAAsB,EACtB,oEAAoE,EACpE,CAAC,CAAC,oBAAoB,EACtB,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,UAAU,GAAG,KAAK,CAC7B,YAAY,EACZ,8EAA8E,EAC9E,CAAC,CAAC,UAAU,EACZ,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAC3C,CAAC;AACF,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CACpC,mBAAmB,EACnB,qDAAqD,EACrD,CAAC,CAAC,iBAAiB,EACnB,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAC1C,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,CAClC,iBAAiB,EACjB,mDAAmD,EACnD,CAAC,CAAC,eAAe,EACjB,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAC1B,CAAC;AACF,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,iDAAiD,EACjD,CAAC,CAAC,cAAc,EAChB,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CACzB,CAAC;AACF,MAAM,CAAC,MAAM,mBAAmB,GAAG,KAAK,CACtC,qBAAqB,EACrB,wDAAwD,EACxD,CAAC,CAAC,mBAAmB,EACrB,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAC1B,CAAC;AACF,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,CACrC,oBAAoB,EACpB,sDAAsD,EACtD,CAAC,CAAC,kBAAkB,EACpB,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CACzB,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CACpC,mBAAmB,EACnB,2DAA2D,EAC3D,CAAC,CAAC,iBAAiB,EACnB,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AACF,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CACnC,kBAAkB,EAClB,0CAA0C,EAC1C,CAAC,CAAC,gBAAgB,EAClB,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AACF,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,CACrC,oBAAoB,EACpB,4CAA4C,EAC5C,CAAC,CAAC,kBAAkB,EACpB,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AACF,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CACpC,mBAAmB,EACnB,2CAA2C,EAC3C,CAAC,CAAC,iBAAiB,EACnB,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CACvC,CAAC;AACF,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,4DAA4D,EAC5D,CAAC,CAAC,cAAc,EAChB,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CACtC,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,0DAA0D,EAC1D,CAAC,CAAC,aAAa,EACf,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CACtC,CAAC;AACF,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,CAClC,iBAAiB,EACjB,0CAA0C,EAC1C,CAAC,CAAC,eAAe,EACjB,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CACtC,CAAC;AACF,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,yCAAyC,EACzC,CAAC,CAAC,cAAc,EAChB,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CACtC,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,UAAU,GAAG,KAAK,CAC7B,YAAY,EACZ,2EAA2E,EAC3E,CAAC,CAAC,UAAU,EACZ,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAC7D,CAAC;AACF,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CACpC,mBAAmB,EACnB,gEAAgE,EAChE,CAAC,CAAC,iBAAiB,EACnB,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAC7D,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,uEAAuE,EACvE,CAAC,CAAC,aAAa,EACf,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CACtD,CAAC;AACF,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CACvC,sBAAsB,EACtB,+DAA+D,EAC/D,CAAC,CAAC,oBAAoB,EACtB,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CACtD,CAAC;AAEF,kGAAkG;AAClG,MAAM,CAAC,MAAM,WAAW,GAAG,KAAK,CAC9B,aAAa,EACb,oCAAoC,EACpC,CAAC,CAAC,WAAW,EACb,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CACjC,CAAC;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,KAAK,CAChC,eAAe,EACf,kCAAkC,EAClC,CAAC,CAAC,aAAa,EACf,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAChC,CAAC;AACF,MAAM,CAAC,MAAM,MAAM,GAAG,KAAK,CACzB,QAAQ,EACR,gEAAgE,EAChE,CAAC,CAAC,MAAM,EACR,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CACxC,CAAC;AACF,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CACvC,sBAAsB,EACtB,mDAAmD,EACnD,CAAC,CAAC,oBAAoB,EACtB,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CACjC,CAAC;AACF,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CACvC,sBAAsB,EACtB,sDAAsD,EACtD,CAAC,CAAC,oBAAoB,EACtB,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CACxC,CAAC;AAEF,kGAAkG;AAClG,MAAM,IAAI,GAAG,YAAY,CAAC;AAC1B,MAAM,GAAG,GAAG,YAAY,CAAC;AACzB,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,CACrC,oBAAoB,EACpB,6DAA6D,EAC7D,GAAG,CAAC,kBAAkB,EACtB,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,EACjD,IAAI,CACL,CAAC;AACF,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CACpC,mBAAmB,EACnB,2DAA2D,EAC3D,GAAG,CAAC,iBAAiB,EACrB,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,EACjD,IAAI,CACL,CAAC;AACF,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,CACrC,oBAAoB,EACpB,uDAAuD,EACvD,GAAG,CAAC,kBAAkB,EACtB,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EACvE,IAAI,CACL,CAAC;AACF,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CACpC,mBAAmB,EACnB,qDAAqD,EACrD,GAAG,CAAC,iBAAiB,EACrB,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EACvE,IAAI,CACL,CAAC;AACF,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CACjC,gBAAgB,EAChB,oDAAoD,EACpD,GAAG,CAAC,cAAc,EAClB;IACE,UAAU,EAAE,IAAI;IAChB,SAAS,EAAE,GAAG;IACd,IAAI,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE;IAC3C,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE;CAC1C,EACD,IAAI,CACL,CAAC;AAEF,gGAAgG;AAChG,MAAM,UAAU,cAAc;IAC5B,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAiBD,MAAM,UAAU,aAAa,CAAC,OAA2B;IACvD,qBAAqB,CAAC,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3D,eAAe,CAAC,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClF,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IACxC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAClB,sGACE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAClC,GAAG,EACH,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,CACtD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACpD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/E,MAAM,IAAI,UAAU,CAClB,oCAAoC,IAAI,KACtC,IAAI,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAC3C,iEAAiE,EACjE;YACE,IAAI,EAAE,SAAS,CAAC,gBAAgB;YAChC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;SACtD,CACF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAc,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/modules/strategy/dist/optimizer.d.ts

@@ -0,0 +1,184 @@
+/**
+ * Strategy optimizer (spec §12, roadmap Tier 3) — invert the profit calculator: given a **thesis**
+ * (where the trader thinks the underlying lands, by when, and how sure), search structures × strikes ×
+ * **expiries** and rank by expected P&L **under that thesis**, not the market's risk-neutral
+ * distribution.
+ *
+ * A thin generalization of `scanStrategies`: for each expiry it reuses the scanner to enumerate + filter
+ * + risk-metric the candidates (with materializable legs), then re-scores each candidate's expected P&L
+ * and probability-of-profit by integrating `Position.pnlAtExpiry` against the trader's thesis density.
+ * No second pricing path. See `docs/specs/strategy-optimizer.md`.
+ */
+import { type Diagnostics, type EpochMs } from '../../core/dist/index.js';
+import { type KellyBetInput, type KellySizing, type OptionsMarginResult } from '../../risk/dist/sizing.js';
+import { type ScanCandidate, type ScanObjective, type ScanQuoteRow, type ScanStructure } from './scanner.js';
+import { type ThesisOutcomeNode } from './thesis-distribution.js';
+/** The trader's view of the terminal price — a lognormal centered at a target (or drift). */
+export interface OptimizerThesis {
+    /** Median terminal price (the central view). If omitted, the median is `spot·e^{drift·t}`. */
+    targetPrice?: number;
+    /** Annualized volatility capturing the trader's UNCERTAINTY (σ_log at expiry = `volatility·√t`). Required, > 0. */
+    volatility: number;
+    /** Annualized drift used when `targetPrice` is omitted (default 0 — a flat view). */
+    drift?: number;
+    /** Escape hatch: an arbitrary terminal density `p(price, t)` (replaces the lognormal shape). */
+    pdf?: (price: number, timeToExpiryYears: number) => number;
+    /**
+     * Required with `pdf`: the price range `{ from, to }` covering the density's support. The custom
+     * density is integrated over exactly this range (not the `volatility` window), so its mass is never
+     * silently truncated. Ignored for the lognormal thesis.
+     */
+    pdfRange?: {
+        from: number;
+        to: number;
+    };
+}
+/** One expiry in the search space: its chain (+ optional pricing `volatility`/`smile`). */
+export interface OptimizerExpiry {
+    expiry: string;
+    chain: ScanQuoteRow[];
+    /** Pricing volatility for this expiry (falls back to `options.volatility`). */
+    volatility?: number;
+    /** Pricing smile for this expiry (falls back to `options.smile`). */
+    smile?: (strike: number) => number;
+}
+/** Ranking objective: a thesis-based one, or the scanner's market-implied ones. */
+export type OptimizerObjective = 'thesisExpectedValuePerRisk' | 'thesisExpectedValuePerCapital' | 'thesisExpectedValue' | 'thesisProbabilityOfProfit' | ScanObjective;
+/**
+ * Opt-in Kelly sizing for the optimizer: every {@link kellyBet} knob except `edge` (which the optimizer
+ * builds from each candidate's thesis outcomes), plus a required `enabled: true` so sizing is a
+ * deliberate request, never an accidental default. Omitting `sizing` performs no Kelly work at all.
+ */
+export type OptimizerSizingOptions = Omit<KellyBetInput, 'edge'> & {
+    enabled: true;
+};
+/**
+ * The Kelly verdict for a candidate (present only when `sizing` was requested): a full {@link KellySizing}
+ * on dimensionless (P&L ÷ capital) returns, or a structured `not-admissible` refusal — an unbounded
+ * downside under the thesis support (any positive bankroll fraction can cross zero wealth) or a zero
+ * capital requirement (the return is undefined).
+ */
+export type OptimizedStrategyKelly = {
+    status: 'sized';
+    sizing: KellySizing;
+} | {
+    status: 'not-admissible';
+    reason: 'unbounded-downside' | 'zero-capital';
+};
+/** Options for {@link optimizeStrategy}. */
+export interface OptimizeStrategyOptions {
+    spot: number;
+    /**
+     * Valuation instant — epoch milliseconds or a zoned ISO datetime, the ONE valuation-instant
+     * grammar shared with `scanStrategies`, `Position.probability()` and the what-if cube. A bare
+     * date is refused everywhere a position is priced: the time of day is the answer for a 0DTE.
+     */
+    asOf: EpochMs | string;
+    riskFreeRate: number;
+    dividendYield?: number;
+    /** The multi-expiry search space (≥ 1 expiry). */
+    expiries: OptimizerExpiry[];
+    thesis: OptimizerThesis;
+    /** Default pricing volatility for missing premiums + the scanner's market-implied metrics. */
+    volatility?: number;
+    /** Default pricing smile (takes precedence over `volatility` for pricing). */
+    smile?: (strike: number) => number;
+    /** Which structures to enumerate (default: all the scanner's). */
+    structures?: ScanStructure[];
+    maxWidth?: number;
+    /** Keep only candidates whose MARKET-implied PoP ≥ this. */
+    minProbabilityOfProfit?: number;
+    /** Keep only candidates whose max loss ≤ this (per contract, 100×). */
+    maxRisk?: number;
+    /** Keep only candidates whose THESIS PoP ≥ this. */
+    minThesisProbabilityOfProfit?: number;
+    /** Ranking objective (default `'thesisExpectedValuePerRisk'`). */
+    objective?: OptimizerObjective;
+    /** Top-N across all expiries (default 25). */
+    top?: number;
+    /** Integration resolution for the thesis metrics (default 801). */
+    gridPoints?: number;
+    /** Opt-in Kelly sizing. When set, each candidate gains a `kelly` verdict; omit for no Kelly work. */
+    sizing?: OptimizerSizingOptions;
+}
+/**
+ * The capital (buying-power) a candidate ties up, from Reg-T options margin — an economically honest
+ * denominator that is DISTINCT from `|maxLoss|`: a naked short has unbounded max loss yet a finite
+ * Reg-T requirement, so it can still be ranked by capital efficiency. This is a static entry
+ * buying-power model, not a liquidation or future house-margin model (echoed in `assumptions`).
+ */
+export interface OptimizedStrategyCapital {
+    /** Buying-power reduction the account must set aside (per contract, 100×). */
+    requirement: number;
+    /** How the requirement was derived. */
+    method: OptionsMarginResult['method'];
+    /** Worst-case expiration loss per contract; `null` when the loss is unbounded (Law 7). */
+    maxLoss: number | null;
+    /** The Reg-T / conventions assumptions echoed by `optionsMargin`. */
+    assumptions: OptionsMarginResult['assumptions'];
+    /** The `optionsMargin` diagnostics (e.g. the `risk.unbounded_loss` warning behind a `null` maxLoss). */
+    diagnostics: OptionsMarginResult['diagnostics'];
+}
+/** A scanned candidate re-scored under the trader's thesis. */
+export interface OptimizedStrategy extends ScanCandidate {
+    expiry: string;
+    /** Year fraction to this expiry. */
+    timeToExpiryYears: number;
+    /** Expected P&L under the thesis (per contract, 100×). */
+    thesisExpectedValue: number;
+    /** Probability of profit under the thesis. */
+    thesisProbabilityOfProfit: number;
+    /** `thesisEv / |maxLoss|` (0 when risk is unbounded) — the defined-risk read; never falls back to margin. */
+    thesisExpectedValuePerRisk: number;
+    /** The candidate's Reg-T buying-power requirement (the honest capital denominator). */
+    capital: OptimizedStrategyCapital;
+    /** `thesisEv / capital.requirement`; `null` (never `Infinity`) when the requirement is zero. */
+    thesisExpectedValuePerCapital: number | null;
+    /** Kelly sizing verdict — present only when `sizing` was requested (2B never populates it). */
+    kelly?: OptimizedStrategyKelly;
+}
+/** The optimizer read-out. */
+export interface OptimizeStrategyResult {
+    /** Top-N candidates across all expiries, ranked by `objective` (descending). */
+    candidates: OptimizedStrategy[];
+    thesis: {
+        median: 'target' | 'drift';
+        volatility: number;
+        targetPrice?: number;
+        drift?: number;
+    };
+    assumptions: {
+        conventionsVersion: string;
+        objective: OptimizerObjective;
+        expiries: number;
+        gridPoints: number;
+    };
+    diagnostics: Diagnostics;
+}
+/**
+ * Whether a candidate's expiration loss is unbounded *under the thesis support* — the admissibility
+ * test for Kelly (Wave 6 §2C). Determined from the payoff's asymptotic slope, NOT sampled grid nodes:
+ * `optionsMargin` reports `maxLoss: null` exactly when the net-call slope makes the up-tail unbounded
+ * as `S → ∞`. A lognormal thesis has support `(0, ∞)`, so that up-tail is reachable ⇒ unbounded. A
+ * custom density's finite `[from, to]` support caps the realized loss ⇒ bounded, even for a net-short
+ * call. (The down side is always bounded — `S ≥ 0`.)
+ */
+export declare function isUnboundedDownsideUnderSupport(capital: OptimizedStrategyCapital, thesis: OptimizerThesis): boolean;
+/**
+ * The Kelly verdict for one candidate (Wave 6 §2C). Refuses an unbounded-downside-under-support or
+ * zero-capital position with a structured `not-admissible`; otherwise sizes on DIMENSIONLESS returns
+ * (`payoff = node.pnl / capital.requirement` — absolute dollars are never passed to `kellyBet`) and
+ * returns the full {@link KellySizing}, every requested cap preserved.
+ */
+export declare function resolveCandidateKelly(input: {
+    nodes: readonly ThesisOutcomeNode[];
+    capital: OptimizedStrategyCapital;
+    thesis: OptimizerThesis;
+    sizing: OptimizerSizingOptions;
+}): OptimizedStrategyKelly;
+/**
+ * Search structures × strikes × expiries for the best trade under a thesis. Reuses `scanStrategies` per
+ * expiry, re-scores each candidate under the thesis density, and ranks across all expiries. See the spec.
+ */
+export declare function optimizeStrategy(options: OptimizeStrategyOptions): OptimizeStrategyResult;
+//# sourceMappingURL=optimizer.d.ts.map

package/modules/strategy/dist/optimizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optimizer.d.ts","sourceRoot":"","sources":["../src/optimizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,OAAO,EAcb,MAAM,0BAAoB,CAAC;AAC5B,OAAO,EAIL,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACzB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,KAAK,aAAa,EAElB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,aAAa,EAEnB,MAAM,cAAc,CAAC;AACtB,OAAO,EAML,KAAK,iBAAiB,EACvB,MAAM,0BAA0B,CAAC;AAGlC,6FAA6F;AAC7F,MAAM,WAAW,eAAe;IAC9B,8FAA8F;IAC9F,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mHAAmH;IACnH,UAAU,EAAE,MAAM,CAAC;IACnB,qFAAqF;IACrF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,gGAAgG;IAChG,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,KAAK,MAAM,CAAC;IAC3D;;;;OAIG;IACH,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;CACzC;AAED,2FAA2F;AAC3F,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,+EAA+E;IAC/E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;CACpC;AAED,mFAAmF;AACnF,MAAM,MAAM,kBAAkB,GAC1B,4BAA4B,GAC5B,+BAA+B,GAC/B,qBAAqB,GACrB,2BAA2B,GAC3B,aAAa,CAAC;AAElB;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,GAAG;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC;AAErF;;;;;GAKG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GACxC;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,oBAAoB,GAAG,cAAc,CAAA;CAAE,CAAC;AAEhF,4CAA4C;AAC5C,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,MAAM,EAAE,eAAe,CAAC;IACxB,8FAA8F;IAC9F,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,8EAA8E;IAC9E,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IACnC,kEAAkE;IAClE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,uEAAuE;IACvE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oDAAoD;IACpD,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,kEAAkE;IAClE,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,8CAA8C;IAC9C,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,mEAAmE;IACnE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qGAAqG;IACrG,MAAM,CAAC,EAAE,sBAAsB,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,8EAA8E;IAC9E,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,MAAM,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACtC,0FAA0F;IAC1F,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,qEAAqE;IACrE,WAAW,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;IAChD,wGAAwG;IACxG,WAAW,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;CACjD;AAED,+DAA+D;AAC/D,MAAM,WAAW,iBAAkB,SAAQ,aAAa;IACtD,MAAM,EAAE,MAAM,CAAC;IACf,oCAAoC;IACpC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,8CAA8C;IAC9C,yBAAyB,EAAE,MAAM,CAAC;IAClC,6GAA6G;IAC7G,0BAA0B,EAAE,MAAM,CAAC;IACnC,uFAAuF;IACvF,OAAO,EAAE,wBAAwB,CAAC;IAClC,gGAAgG;IAChG,6BAA6B,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,+FAA+F;IAC/F,KAAK,CAAC,EAAE,sBAAsB,CAAC;CAChC;AAED,8BAA8B;AAC9B,MAAM,WAAW,sBAAsB;IACrC,gFAAgF;IAChF,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,MAAM,EAAE;QAAE,MAAM,EAAE,QAAQ,GAAG,OAAO,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjG,WAAW,EAAE;QACX,kBAAkB,EAAE,MAAM,CAAC;QAC3B,SAAS,EAAE,kBAAkB,CAAC;QAC9B,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IACF,WAAW,EAAE,WAAW,CAAC;CAC1B;AAuFD;;;;;;;GAOG;AACH,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,wBAAwB,EACjC,MAAM,EAAE,eAAe,GACtB,OAAO,CAGT;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,KAAK,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACpC,OAAO,EAAE,wBAAwB,CAAC;IAClC,MAAM,EAAE,eAAe,CAAC;IACxB,MAAM,EAAE,sBAAsB,CAAC;CAChC,GAAG,sBAAsB,CAqBzB;AAmCD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,uBAAuB,GAAG,sBAAsB,CAkTzF"}