@insiderfinance/totalfinance 0.1.0

package/modules/core/dist/time.js

@@ -0,0 +1,349 @@
+/**
+ * Time primitives (spec §7.2).
+ *
+ * The internal contract is Unix epoch milliseconds. Core calculations NEVER read the system clock;
+ * `asOf` is always injected by the caller (design law #5).
+ */
+import { addDays, dayOfWeek, nthWeekdayOfMonth, observedHoliday, ymd, } from './calendar.js';
+import { isoDateToEpochMs, parseIsoDate } from './dates.js';
+import { ErrorCode, InputError, UnsupportedError } from './errors.js';
+const DATE_ONLY = /^\d{4}-\d{2}-\d{2}$/;
+/**
+ * The America/New_York UTC offset (minutes east of UTC) in force at a given UTC wall-clock probe —
+ * DST-aware via `Intl`. Throws rather than silently assuming EST (wrong by an hour half the year).
+ */
+function newYorkOffsetMinutes(year, month, day, hour, functionName) {
+    const tzName = new Intl.DateTimeFormat('en-US', {
+        timeZone: 'America/New_York',
+        timeZoneName: 'longOffset',
+    })
+        .formatToParts(new Date(Date.UTC(year, month - 1, day, hour)))
+        .find((p) => p.type === 'timeZoneName')?.value;
+    const m = tzName?.match(/GMT([+-])(\d{1,2})(?::?(\d{2}))?/);
+    if (!m) {
+        throw new UnsupportedError(`${functionName}: could not resolve the America/New_York UTC offset from Intl (got "${tzName}").`, { code: ErrorCode.TimeTimezoneResolutionFailed, context: { year, month, day, tzName } });
+    }
+    return (m[1] === '-' ? -1 : 1) * (Number(m[2]) * 60 + Number(m[3] ?? 0));
+}
+/** `"-04:00"` / `"-05:00"`: the New York offset label for a calendar date, for teaching examples. */
+function newYorkOffsetLabel(year, month, day) {
+    const minutes = newYorkOffsetMinutes(year, month, day, 12, 'newYorkOffsetLabel');
+    const sign = minutes < 0 ? '-' : '+';
+    const abs = Math.abs(minutes);
+    return `${sign}${String(Math.floor(abs / 60)).padStart(2, '0')}:${String(abs % 60).padStart(2, '0')}`;
+}
+/**
+ * US equity/options early-close (13:00 ET) rules — the ONE table, consumed by `@insiderfinance/totalfinance/calendars`
+ * as well: the day after Thanksgiving, and 24 December and 3 July when they fall on a weekday and
+ * are not themselves the observed Christmas / Independence Day holiday. A rule returns the
+ * candidate date for a year; {@link isUsEquityHalfDay} applies the weekday/observance exclusions.
+ */
+export const US_EQUITY_HALF_DAY_RULES = [
+    // Day after Thanksgiving. Every November has a 4th Thursday, so the generator's "no such
+    // occurrence" channel never fires here — propagate it rather than assert it away.
+    (y) => {
+        const thanksgiving = nthWeekdayOfMonth(y, 11, 4, 4);
+        return thanksgiving === null ? null : addDays(thanksgiving, 1);
+    },
+    (y) => `${y}-12-24`, // Christmas Eve (a weekend or the observed Christmas holiday is not a half day)
+    (y) => `${y}-07-03`, // 3 July (a weekend or the observed Independence Day holiday is not a half day)
+];
+/**
+ * Whether a `YYYY-MM-DD` calendar date is a US equity/options early-close day (13:00 ET). Applies
+ * {@link US_EQUITY_HALF_DAY_RULES} with the weekend and observed-holiday exclusions, so
+ * 2021-12-24 (the observed Christmas holiday) and 2026-07-03 (the observed Independence Day
+ * holiday) are full closures, not half days.
+ */
+export function isUsEquityHalfDay(date) {
+    const { year, month, day } = parseIsoDate(date);
+    const label = ymd(year, month, day);
+    const dow = dayOfWeek(label);
+    if (dow === 0 || dow === 6)
+        return false;
+    if (observedHoliday(year, 12, 25) === label || observedHoliday(year, 7, 4) === label)
+        return false;
+    return US_EQUITY_HALF_DAY_RULES.some((rule) => rule(year) === label);
+}
+/**
+ * UTC epoch-ms for the **US equity/options market close** on a calendar date — 16:00
+ * America/New_York, or 13:00 on an early-close day ({@link isUsEquityHalfDay}) — DST-aware via
+ * `Intl`. Use it to resolve a *date-only* option expiry to its end-of-session instant instead of
+ * UTC midnight, so a contract stays alive through its expiry trading day. This encodes US-equity
+ * hours specifically; it is not a generic exchange close.
+ */
+export function usEquityCloseUtcMs(year, month, day) {
+    const hour = isUsEquityHalfDay(ymd(year, month, day)) ? 13 : 16;
+    const offsetMinutes = newYorkOffsetMinutes(year, month, day, hour, 'usEquityCloseUtcMs');
+    // `hour`:00 on the local ET clock, expressed in UTC, is `Date.UTC(..., hour) − offset`.
+    return Date.UTC(year, month - 1, day, hour, 0, 0) - offsetMinutes * 60_000;
+}
+/**
+ * UTC epoch-ms for the **US equity/options market open** (09:30 America/New_York) on a calendar
+ * date — DST-aware via `Intl`. The session open is the same on early-close days.
+ */
+function usEquityOpenUtcMs(year, month, day) {
+    const offsetMinutes = newYorkOffsetMinutes(year, month, day, 9, 'usEquityOpenUtcMs');
+    return Date.UTC(year, month - 1, day, 9, 30, 0) - offsetMinutes * 60_000;
+}
+/**
+ * The instant of a US equity/options session boundary on a `YYYY-MM-DD` date — the one-call way
+ * to say "as of today's close" without remembering the DST offset:
+ *
+ * ```ts
+ * market({ spot: 195.3, riskFreeRate: 0.045, volatility: 0.24, asOf: usEquitySessionInstant('2026-07-20', 'close') })
+ * ```
+ *
+ * `'open'` is 09:30 ET; `'close'` is 16:00 ET, or 13:00 ET on an early-close day. Weekends and
+ * holidays are not rejected here (the instant still exists); use `@insiderfinance/totalfinance/calendars` to ask
+ * whether the market was open.
+ */
+export function usEquitySessionInstant(date, session) {
+    const functionName = 'usEquitySessionInstant';
+    if (typeof date !== 'string' || !DATE_ONLY.test(date)) {
+        throw new InputError(`${functionName}: date must be a YYYY-MM-DD calendar date (e.g. '2026-07-20'). Received ${typeof date === 'string' ? `"${date}"` : date === null ? 'null' : typeof date}.`, { code: ErrorCode.InputWrongType, context: { function: functionName, field: 'date', date } });
+    }
+    if (session !== 'open' && session !== 'close') {
+        throw new InputError(`${functionName}: session must be 'open' (09:30 ET) or 'close' (16:00 ET, 13:00 on early-close days). Received ${typeof session === 'string' ? `"${session}"` : session === null ? 'null' : typeof session}.`, {
+            code: ErrorCode.InputInvalidEnum,
+            context: { function: functionName, field: 'session', session },
+        });
+    }
+    const { year, month, day } = parseIsoDate(date);
+    return session === 'open'
+        ? usEquityOpenUtcMs(year, month, day)
+        : usEquityCloseUtcMs(year, month, day);
+}
+/**
+ * `Intl.DateTimeFormat` is expensive to construct and the market-day index runs per contract per
+ * level — build the formatter once. Numbering system pinned to `latn` so a host default of e.g.
+ * `arab` digits cannot turn the parse into `NaN`.
+ */
+const NEW_YORK_DATE_PARTS = new Intl.DateTimeFormat('en-US-u-ca-gregory-nu-latn', {
+    timeZone: 'America/New_York',
+    year: 'numeric',
+    month: '2-digit',
+    day: '2-digit',
+    era: 'short',
+});
+const MS_PER_DAY = 86_400_000;
+/**
+ * The US equity/options market's calendar DAY an instant falls on, as a whole-day index (days since
+ * the epoch of the America/New_York calendar date). Differencing two indices gives whole CALENDAR
+ * DAYS between two market dates; equality means "same trading date". This is the ONE day boundary
+ * shared by 0DTE classification, days-to-expiry counts and earnings day counts: expiries resolve to
+ * 16:00 ET (20:00/21:00 UTC), so a UTC-day comparison is already "tomorrow" between 20:00 and
+ * 23:59 ET. Pure and clock-free.
+ */
+export function usEquityMarketDayIndex(epochMs) {
+    const parts = NEW_YORK_DATE_PARTS.formatToParts(new Date(epochMs));
+    let year = NaN;
+    let month = NaN;
+    let day = NaN;
+    let bc = false;
+    for (const part of parts) {
+        if (part.type === 'year')
+            year = Number(part.value);
+        else if (part.type === 'month')
+            month = Number(part.value);
+        else if (part.type === 'day')
+            day = Number(part.value);
+        else if (part.type === 'era')
+            bc = part.value.startsWith('B');
+    }
+    // Date.UTC of the LOCAL Y/M/D — a pure re-encoding of the calendar date, never a re-zoning.
+    return Math.round(Date.UTC(bc ? 1 - year : year, month - 1, day) / MS_PER_DAY);
+}
+/**
+ * UTC-midnight epoch of the market DATE an instant falls on — the anchor for weekday / day-of-month
+ * arithmetic (`getUTCDay()` on it is the ET weekday) and for whole-day counts against date labels.
+ */
+export function usEquityMarketDateUtcMs(epochMs) {
+    return usEquityMarketDayIndex(epochMs) * MS_PER_DAY;
+}
+/**
+ * Parse an option-expiry label to epoch-ms. A bare `YYYY-MM-DD` resolves to {@link usEquityCloseUtcMs}
+ * (16:00 ET) — not UTC midnight — so an intraday `asOf` on the expiry date still sees positive
+ * time-to-expiry; a full datetime string is parsed as-is. Throws on an unparseable value.
+ */
+export function optionExpiryToMs(expiry) {
+    if (DATE_ONLY.test(expiry)) {
+        // Validate it is a real calendar date — `parseIsoDate` rejects e.g. 2026-02-31 rather than letting
+        // Date.UTC silently roll it forward to 2026-03-03.
+        const { year, month, day } = parseIsoDate(expiry);
+        return usEquityCloseUtcMs(year, month, day);
+    }
+    // Full datetimes must carry an explicit zone (Z or ±HH:MM). A bare '2026-09-18T16:00' would parse
+    // in the MACHINE's local zone — the same input yielding different epochs on different boxes breaks
+    // the determinism law (design law #5) — so it is rejected with the fix, never silently localized.
+    if (DATETIME_ZONED.test(expiry))
+        return parseZonedDatetimeMs(expiry, 'optionExpiryToMs', 'expiry');
+    if (DATETIME_BARE.test(expiry)) {
+        throw new InputError(`optionExpiryToMs: datetime expiry "${expiry}" has no timezone — append 'Z' or an offset like '-05:00' (a bare datetime would silently parse in the machine's local zone).`, { code: ErrorCode.InputWrongType, context: { expiry } });
+    }
+    throw new InputError(`optionExpiryToMs: cannot parse expiry "${expiry}" — use 'YYYY-MM-DD' (resolves to 16:00 ET) or a zoned ISO datetime.`, { code: ErrorCode.InputWrongType, context: { expiry } });
+}
+// `[Tt ]` and `[Zz]`: RFC 3339 explicitly permits the lowercase date/time separator and zone
+// designator, so `2026-07-06t12:00:00z` is the same legal instant as its uppercase form.
+// Everything else stays strict.
+const DATETIME_ZONED = /^(\d{4})-(\d{2})-(\d{2})[Tt ](\d{2}):(\d{2})(?::(\d{2})(\.\d+)?)?([Zz]|[+-]\d{2}:?\d{2})$/;
+const DATETIME_BARE = /^\d{4}-\d{2}-\d{2}[Tt ]\d{2}:\d{2}/;
+/**
+ * STRICT zoned-datetime parsing (D2, one expiry law): every component is range-checked and the
+ * epoch is computed arithmetically — `Date.parse` is never trusted. Without this,
+ * `2026-02-31T16:00:00Z` silently normalizes into March and `T25:00` yields NaN, both of which
+ * would flow into "valid by construction" frozen contracts.
+ */
+function parseZonedDatetimeMs(value, functionName, field) {
+    const m = DATETIME_ZONED.exec(value);
+    if (!m) {
+        throw new InputError(`${functionName}: ${field} "${value}" is not a zoned ISO datetime.`, {
+            code: ErrorCode.InputWrongType,
+            context: { field, value },
+        });
+    }
+    const [, ys, mos, ds, hs, mins, secs, frac, zone] = m;
+    // Real calendar date (rejects 2026-02-31 / month 13 instead of rolling forward). Built via
+    // setUTCFullYear so years 0000–0099 stay literal — Date.UTC would remap them to 1900–1999.
+    const probe = new Date(0);
+    probe.setUTCFullYear(Number(ys), Number(mos) - 1, Number(ds));
+    const validDate = probe.getUTCFullYear() === Number(ys) &&
+        probe.getUTCMonth() === Number(mos) - 1 &&
+        probe.getUTCDate() === Number(ds);
+    const hour = Number(hs);
+    const minute = Number(mins);
+    const second = secs === undefined ? 0 : Number(secs);
+    let offsetMinutes = 0;
+    let validZone = true;
+    if (zone !== 'Z' && zone !== 'z' && zone !== undefined) {
+        const zm = /^([+-])(\d{2}):?(\d{2})$/.exec(zone);
+        if (!zm)
+            validZone = false;
+        else {
+            const oh = Number(zm[2]);
+            const om = Number(zm[3]);
+            // RFC 3339 real-world envelope: offsets run −12:00 … +14:00 EXACTLY — +14:59 is not a
+            // real place (the error contract promises this bound, so the code enforces it).
+            validZone =
+                om <= 59 &&
+                    (zm[1] === '+' ? oh < 14 || (oh === 14 && om === 0) : oh < 12 || (oh === 12 && om === 0));
+            offsetMinutes = (zm[1] === '-' ? -1 : 1) * (oh * 60 + om);
+        }
+    }
+    if (!validDate || hour > 23 || minute > 59 || second > 59 || !validZone) {
+        throw new InputError(`${functionName}: ${field} "${value}" is not a valid instant — ` +
+            (!validDate
+                ? 'the calendar date does not exist'
+                : !validZone
+                    ? 'the UTC offset is out of range (−12:00 … +14:00)'
+                    : 'the time-of-day component is out of range') +
+            ' (components are verified exactly; nothing is silently normalized).', { code: ErrorCode.InputOutOfRange, context: { field, value } });
+    }
+    const fracMs = frac === undefined ? 0 : Math.round(Number(frac) * 1000);
+    // Time-of-day arithmetic on the validated midnight probe (not Date.UTC, which would remap
+    // years 0000–0099): midnight epoch + h/m/s/frac − zone offset.
+    return (probe.getTime() + ((hour * 60 + minute) * 60 + second) * 1000 + fracMs - offsetMinutes * 60_000);
+}
+/**
+ * Resolve a DATE-GRANULAR `asOf` to epoch ms — ledgers, calendars, fundamentals, performance and
+ * research windows, where "as of 2026-07-06" means the calendar date. Deterministic by
+ * construction: bare dates resolve to UTC midnight, datetimes require an explicit zone, and
+ * anything else throws a teaching error (never a machine-local parse).
+ *
+ * Option-pricing paths must NOT use this door: a bare date hides the time of day that a same-day
+ * option's value depends on. They resolve through {@link resolveValuationAsOf}, which rejects a
+ * date-only `asOf` with the fix.
+ */
+export function resolveAsOf(asOf, functionName = 'resolveAsOf') {
+    if (typeof asOf === 'number') {
+        // The numeric branch obeys the first-touch law too: NaN/Infinity here would flow downstream
+        // as a poisoned timestamp and surface far from the mistake.
+        if (!Number.isFinite(asOf)) {
+            throw new InputError(`${functionName}: asOf must be finite epoch milliseconds. Received ${asOf}. TotalFinance never reads the system clock — pass the current instant from your own clock (epoch milliseconds or a zoned ISO datetime).`, { code: ErrorCode.InputNotFinite, context: { asOf } });
+        }
+        return asOf;
+    }
+    if (typeof asOf === 'string') {
+        if (DATE_ONLY.test(asOf)) {
+            // Validates the calendar date AND keeps years 0000–0099 literal (isoDateToEpochMs builds the
+            // epoch via setUTCFullYear; a direct Date.UTC would remap those years to 1900–1999).
+            return isoDateToEpochMs(asOf);
+        }
+        if (DATETIME_ZONED.test(asOf))
+            return parseZonedDatetimeMs(asOf, functionName, 'asOf');
+        if (DATETIME_BARE.test(asOf)) {
+            throw new InputError(`${functionName}: asOf datetime "${asOf}" has no timezone — append 'Z' or an offset like '-05:00' (a bare datetime would silently parse in the machine's local zone).`, { code: ErrorCode.InputWrongType, context: { asOf } });
+        }
+        throw new InputError(`${functionName}: cannot parse asOf "${asOf}" — use epoch milliseconds, 'YYYY-MM-DD', or a zoned ISO datetime.`, { code: ErrorCode.InputWrongType, context: { asOf } });
+    }
+    throw new InputError(`${functionName}: asOf must be epoch milliseconds or an ISO date string. Received ${asOf === null ? 'null' : typeof asOf}.`, { code: ErrorCode.InputWrongType, context: { asOf } });
+}
+/**
+ * Resolve a VALUATION instant (`asOf`) to epoch ms — the door every option-pricing path uses
+ * (options, strategy, volatility, structure, scenarios, risk marking). Accepts finite epoch
+ * milliseconds or a zoned ISO datetime. A date-only string is REJECTED with the fix: the time of
+ * day is the whole answer for a same-day option (a bare date resolved to UTC midnight valued a
+ * 0DTE at 10:30 ET with 3.6× its remaining life), and the expiry side already refuses a bare date
+ * that does not name its instant. `usEquitySessionInstant(date, 'close')` is the one-call form
+ * for an end-of-day mark.
+ */
+export function resolveValuationAsOf(asOf, functionName = 'resolveValuationAsOf') {
+    if (typeof asOf === 'string' && DATE_ONLY.test(asOf)) {
+        // Validate the calendar date first so an impossible date teaches THAT, not the instant rule.
+        const { year, month, day } = parseIsoDate(asOf);
+        const offset = newYorkOffsetLabel(year, month, day);
+        throw new InputError(`${functionName}: asOf "${asOf}" is a date with no time of day, and a valuation instant needs one — a same-day option's value depends on it. Pass a zoned datetime like "${asOf}T10:30:00${offset}", epoch milliseconds, or usEquitySessionInstant('${asOf}', 'close') for that day's US market close.`, {
+            code: ErrorCode.TimeValuationInstantRequired,
+            context: { function: functionName, field: 'asOf', asOf },
+        });
+    }
+    return resolveAsOf(asOf, functionName);
+}
+/**
+ * ONE expiry law, cross-field (E2): validate that a resolved option-expiry triple —
+ * `expiry` label, `expiresAt` instant, `expiryConvention` — is internally consistent:
+ *
+ *   - the label parses, and its form matches the convention (date-only ⇔ `us-equity-close`,
+ *     zoned datetime ⇔ `explicit-instant`);
+ *   - `expiresAt` is the finite instant the label resolves to under that convention.
+ *
+ * Shared by the contract schema and the pro pricing entrypoints, so a hand-assembled or
+ * post-hoc-edited contract can never smuggle a contradictory resolution past an engine.
+ */
+export function validateResolvedExpiry(functionName, expiry, expiresAt, expiryConvention) {
+    if (typeof expiresAt !== 'number' || !Number.isFinite(expiresAt)) {
+        throw new InputError(`${functionName}: contract.expiresAt must be a finite epoch-ms instant (got ${String(expiresAt)}). ` +
+            'Build contracts with the option builders — a raw literal is not a resolved contract.', { code: ErrorCode.InputMissingField, context: { function: functionName, expiresAt } });
+    }
+    const isDateOnly = typeof expiry === 'string' && DATE_ONLY.test(expiry);
+    const expected = isDateOnly ? 'us-equity-close' : 'explicit-instant';
+    if (expiryConvention !== expected) {
+        throw new InputError(`${functionName}: expiryConvention "${String(expiryConvention)}" contradicts the expiry label ` +
+            `"${expiry}" (${isDateOnly ? 'a date-only label resolves via' : 'a zoned instant is'} ` +
+            `'${expected}').`, {
+            code: ErrorCode.InputWrongShape,
+            context: { function: functionName, expiry, expiryConvention },
+        });
+    }
+    const fromLabel = optionExpiryToMs(expiry);
+    if (fromLabel !== expiresAt) {
+        throw new InputError(`${functionName}: contract.expiry "${expiry}" resolves to ${fromLabel} but contract.expiresAt is ` +
+            `${expiresAt} — the contract was mutated after construction. Rebuild it with the option ` +
+            'builders instead of editing fields.', {
+            code: ErrorCode.InputWrongShape,
+            context: { function: functionName, expiry, expiresAt, fromLabel },
+        });
+    }
+}
+/**
+ * Resolve an expiry label to the REQUIRED contract fields (E2): the spreadable
+ * `{ expiresAt, expiryConvention }` pair for constructing an `OptionContract` from a label —
+ * the same resolution the option builders stamp. Prefer the builders for user-facing code;
+ * this exists for adapters and tests assembling contracts inline.
+ */
+export function resolvedExpiry(expiry) {
+    return {
+        expiresAt: optionExpiryToMs(expiry),
+        expiryConvention: DATE_ONLY.test(expiry) ? 'us-equity-close' : 'explicit-instant',
+    };
+}
+//# sourceMappingURL=time.js.map

package/modules/core/dist/time.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"time.js","sourceRoot":"","sources":["../src/time.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEL,OAAO,EACP,SAAS,EACT,iBAAiB,EACjB,eAAe,EACf,GAAG,GACJ,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAyBtE,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAExC;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,IAAY,EACZ,KAAa,EACb,GAAW,EACX,IAAY,EACZ,YAAoB;IAEpB,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE;QAC9C,QAAQ,EAAE,kBAAkB;QAC5B,YAAY,EAAE,YAAY;KAC3B,CAAC;SACC,aAAa,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;SAC7D,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,EAAE,KAAK,CAAC;IACjD,MAAM,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,kCAAkC,CAAC,CAAC;IAC5D,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,gBAAgB,CACxB,GAAG,YAAY,uEAAuE,MAAM,KAAK,EACjG,EAAE,IAAI,EAAE,SAAS,CAAC,4BAA4B,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,qGAAqG;AACrG,SAAS,kBAAkB,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IAClE,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,oBAAoB,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IACrC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,GAAG,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACxG,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA2B;IAC9D,yFAAyF;IACzF,kFAAkF;IAClF,CAAC,CAAC,EAAE,EAAE;QACJ,MAAM,YAAY,GAAG,iBAAiB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACpD,OAAO,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,gFAAgF;IACrG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,gFAAgF;CACtG,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK;QAClF,OAAO,KAAK,CAAC;IACf,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IACzE,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;IACzF,wFAAwF;IACxF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,aAAa,GAAG,MAAM,CAAC;AAC7E,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IACjE,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACrF,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,aAAa,GAAG,MAAM,CAAC;AAC3E,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,OAAyB;IAC5E,MAAM,YAAY,GAAG,wBAAwB,CAAC;IAC9C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,2EACb,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAC3E,GAAG,EACH,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,kGACb,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,OACpF,GAAG,EACH;YACE,IAAI,EAAE,SAAS,CAAC,gBAAgB;YAChC,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE;SAC/D,CACF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,OAAO,KAAK,MAAM;QACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC;QACrC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AAC3C,CAAC;AAED;;;;GAIG;AACH,MAAM,mBAAmB,GAAG,IAAI,IAAI,CAAC,cAAc,CAAC,4BAA4B,EAAE;IAChF,QAAQ,EAAE,kBAAkB;IAC5B,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,SAAS;IAChB,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,OAAO;CACb,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,UAAU,CAAC;AAE9B;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,MAAM,KAAK,GAAG,mBAAmB,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACnE,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,IAAI,KAAK,GAAG,GAAG,CAAC;IAChB,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,IAAI,EAAE,GAAG,KAAK,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aACtD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;aAClD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,4FAA4F;IAC5F,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC;AACjF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAgB;IACtD,OAAO,sBAAsB,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC;AACtD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,mGAAmG;QACnG,mDAAmD;QACnD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QAClD,OAAO,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,kGAAkG;IAClG,mGAAmG;IACnG,kGAAkG;IAClG,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;QAC7B,OAAO,oBAAoB,CAAC,MAAM,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAAC;IACpE,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,UAAU,CAClB,sCAAsC,MAAM,+HAA+H,EAC3K,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,EAAE,CACxD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,UAAU,CAClB,0CAA0C,MAAM,sEAAsE,EACtH,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,EAAE,CACxD,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,yFAAyF;AACzF,gCAAgC;AAChC,MAAM,cAAc,GAClB,2FAA2F,CAAC;AAC9F,MAAM,aAAa,GAAG,oCAAoC,CAAC;AAE3D;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,KAAa,EAAE,YAAoB,EAAE,KAAa;IAC9E,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,UAAU,CAAC,GAAG,YAAY,KAAK,KAAK,KAAK,KAAK,gCAAgC,EAAE;YACxF,IAAI,EAAE,SAAS,CAAC,cAAc;YAC9B,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,2FAA2F;IAC3F,2FAA2F;IAC3F,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,SAAS,GACb,KAAK,CAAC,cAAc,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QACvC,KAAK,CAAC,UAAU,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvD,MAAM,EAAE,GAAG,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,EAAE;YAAE,SAAS,GAAG,KAAK,CAAC;aACtB,CAAC;YACJ,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,sFAAsF;YACtF,gFAAgF;YAChF,SAAS;gBACP,EAAE,IAAI,EAAE;oBACR,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5F,aAAa,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,IAAI,GAAG,EAAE,IAAI,MAAM,GAAG,EAAE,IAAI,MAAM,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,KAAK,KAAK,KAAK,KAAK,6BAA6B;YAC9D,CAAC,CAAC,SAAS;gBACT,CAAC,CAAC,kCAAkC;gBACpC,CAAC,CAAC,CAAC,SAAS;oBACV,CAAC,CAAC,kDAAkD;oBACpD,CAAC,CAAC,2CAA2C,CAAC;YAClD,qEAAqE,EACvE,EAAE,IAAI,EAAE,SAAS,CAAC,eAAe,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAC/D,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACxE,0FAA0F;IAC1F,+DAA+D;IAC/D,OAAO,CACL,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,GAAG,MAAM,GAAG,aAAa,GAAG,MAAM,CAChG,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,IAAsB,EAAE,YAAY,GAAG,aAAa;IAC9E,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,4FAA4F;QAC5F,4DAA4D;QAC5D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,sDAAsD,IAAI,0IAA0I,EACnN,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,CACtD,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,6FAA6F;YAC7F,qFAAqF;YACrF,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,oBAAoB,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QACvF,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,oBAAoB,IAAI,+HAA+H,EACtK,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,CACtD,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,wBAAwB,IAAI,oEAAoE,EAC/G,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,CACtD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,qEAAqE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,EAC3H,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,CACtD,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB,EACtB,YAAY,GAAG,sBAAsB;IAErC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,6FAA6F;QAC7F,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACpD,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,WAAW,IAAI,6IAA6I,IAAI,YAAY,MAAM,qDAAqD,IAAI,6CAA6C,EACvS;YACE,IAAI,EAAE,SAAS,CAAC,4BAA4B;YAC5C,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE;SACzD,CACF,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CACpC,YAAoB,EACpB,MAAc,EACd,SAAkB,EAClB,gBAAyB;IAEzB,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,+DAA+D,MAAM,CAAC,SAAS,CAAC,KAAK;YAClG,sFAAsF,EACxF,EAAE,IAAI,EAAE,SAAS,CAAC,iBAAiB,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,CACtF,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB,CAAC;IACrE,IAAI,gBAAgB,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,uBAAuB,MAAM,CAAC,gBAAgB,CAAC,iCAAiC;YAC7F,IAAI,MAAM,MAAM,UAAU,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,oBAAoB,GAAG;YACvF,IAAI,QAAQ,KAAK,EACnB;YACE,IAAI,EAAE,SAAS,CAAC,eAAe;YAC/B,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE;SAC9D,CACF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,sBAAsB,MAAM,iBAAiB,SAAS,6BAA6B;YAChG,GAAG,SAAS,6EAA6E;YACzF,qCAAqC,EACvC;YACE,IAAI,EAAE,SAAS,CAAC,eAAe;YAC/B,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE;SAClE,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc;IAI3C,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,MAAM,CAAC;QACnC,gBAAgB,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB;KAClF,CAAC;AACJ,CAAC"}

package/modules/core/dist/validation-codes.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Package-private source of truth for boundary-validation codes. Keep these literals out of the
+ * public domain registry's dependency path so tiny guards do not retain unrelated domain codes.
+ * `ErrorCode` exposes these same values; this module is deliberately absent from public barrels.
+ * Named constants also let static namespace imports discard individual unused codes without
+ * allocating a second registry object when the public registry itself is retained.
+ */
+export declare const InputNaN = "input.nan";
+export declare const InputNotFinite = "input.not_finite";
+export declare const InputNegativeSpot = "input.negative_spot";
+export declare const InputNegativeStrike = "input.negative_strike";
+export declare const InputNegativeVolatility = "input.negative_volatility";
+export declare const InputNegativeTime = "input.negative_time";
+export declare const InputOutOfRange = "input.out_of_range";
+export declare const InputInvalidEnum = "input.invalid_enum";
+export declare const InputMissingField = "input.missing_field";
+export declare const InputUnknownField = "input.unknown_field";
+export declare const InputWrongType = "input.wrong_type";
+export declare const InputWrongShape = "input.wrong_shape";
+export declare const InputLengthMismatch = "input.length_mismatch";
+export declare const PostconditionNonFinite = "postcondition.non_finite_result";
+export declare const InputSuspiciousCouponRate = "input.suspicious_coupon_rate";
+export declare const InputSuspiciousYield = "input.suspicious_yield";
+//# sourceMappingURL=validation-codes.d.ts.map

package/modules/core/dist/validation-codes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-codes.d.ts","sourceRoot":"","sources":["../src/validation-codes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,cAAc,CAAC;AACpC,eAAO,MAAM,cAAc,qBAAqB,CAAC;AACjD,eAAO,MAAM,iBAAiB,wBAAwB,CAAC;AACvD,eAAO,MAAM,mBAAmB,0BAA0B,CAAC;AAC3D,eAAO,MAAM,uBAAuB,8BAA8B,CAAC;AACnE,eAAO,MAAM,iBAAiB,wBAAwB,CAAC;AACvD,eAAO,MAAM,eAAe,uBAAuB,CAAC;AACpD,eAAO,MAAM,gBAAgB,uBAAuB,CAAC;AACrD,eAAO,MAAM,iBAAiB,wBAAwB,CAAC;AACvD,eAAO,MAAM,iBAAiB,wBAAwB,CAAC;AACvD,eAAO,MAAM,cAAc,qBAAqB,CAAC;AACjD,eAAO,MAAM,eAAe,sBAAsB,CAAC;AACnD,eAAO,MAAM,mBAAmB,0BAA0B,CAAC;AAC3D,eAAO,MAAM,sBAAsB,oCAAoC,CAAC;AACxE,eAAO,MAAM,yBAAyB,iCAAiC,CAAC;AACxE,eAAO,MAAM,oBAAoB,2BAA2B,CAAC"}

package/modules/core/dist/validation-codes.js

@@ -0,0 +1,24 @@
+/**
+ * Package-private source of truth for boundary-validation codes. Keep these literals out of the
+ * public domain registry's dependency path so tiny guards do not retain unrelated domain codes.
+ * `ErrorCode` exposes these same values; this module is deliberately absent from public barrels.
+ * Named constants also let static namespace imports discard individual unused codes without
+ * allocating a second registry object when the public registry itself is retained.
+ */
+export const InputNaN = 'input.nan';
+export const InputNotFinite = 'input.not_finite';
+export const InputNegativeSpot = 'input.negative_spot';
+export const InputNegativeStrike = 'input.negative_strike';
+export const InputNegativeVolatility = 'input.negative_volatility';
+export const InputNegativeTime = 'input.negative_time';
+export const InputOutOfRange = 'input.out_of_range';
+export const InputInvalidEnum = 'input.invalid_enum';
+export const InputMissingField = 'input.missing_field';
+export const InputUnknownField = 'input.unknown_field';
+export const InputWrongType = 'input.wrong_type';
+export const InputWrongShape = 'input.wrong_shape';
+export const InputLengthMismatch = 'input.length_mismatch';
+export const PostconditionNonFinite = 'postcondition.non_finite_result';
+export const InputSuspiciousCouponRate = 'input.suspicious_coupon_rate';
+export const InputSuspiciousYield = 'input.suspicious_yield';
+//# sourceMappingURL=validation-codes.js.map

package/modules/core/dist/validation-codes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-codes.js","sourceRoot":"","sources":["../src/validation-codes.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC;AACpC,MAAM,CAAC,MAAM,cAAc,GAAG,kBAAkB,CAAC;AACjD,MAAM,CAAC,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AACvD,MAAM,CAAC,MAAM,mBAAmB,GAAG,uBAAuB,CAAC;AAC3D,MAAM,CAAC,MAAM,uBAAuB,GAAG,2BAA2B,CAAC;AACnE,MAAM,CAAC,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AACvD,MAAM,CAAC,MAAM,eAAe,GAAG,oBAAoB,CAAC;AACpD,MAAM,CAAC,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AACrD,MAAM,CAAC,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AACvD,MAAM,CAAC,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AACvD,MAAM,CAAC,MAAM,cAAc,GAAG,kBAAkB,CAAC;AACjD,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAC;AACnD,MAAM,CAAC,MAAM,mBAAmB,GAAG,uBAAuB,CAAC;AAC3D,MAAM,CAAC,MAAM,sBAAsB,GAAG,iCAAiC,CAAC;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAG,8BAA8B,CAAC;AACxE,MAAM,CAAC,MAAM,oBAAoB,GAAG,wBAAwB,CAAC"}

package/modules/core/dist/validation.d.ts

@@ -0,0 +1,117 @@
+/**
+ * The reusable closed-request validator (spec 3B.1b, first checkbox): ONE contract for required
+ * object, exact closed keys, primitive/container type, finite numeric input, nested consumed
+ * fields, and discriminated-union branch validation.
+ *
+ * The SPEC DATA is generated from the checker-derived contract inventory
+ * (`pnpm validation:update` → `packages/<pkg>/src/generated/validation-specs.ts`), never
+ * hand-authored: a hand-written key list and the declaration it mirrors are two artifacts that
+ * drift, and the drift is exactly a silently-accepted field or a rejected valid call. What stays
+ * hand-authored is the TEACHING — the worked example call and per-field unit hints — because a
+ * generator may not invent financial semantics (C03).
+ *
+ * Codes are the library's standing taxonomy (C11), one per distinct mistake:
+ *
+ *     unknown key            input.unknown_field   did-you-mean + the allowed list
+ *     missing required       input.missing_field   the worked example call
+ *     null (non-nullable)    input.invalid_enum    on an enum field (null is not a member)
+ *                            input.wrong_type      everywhere else (null is not omission)
+ *     wrong primitive        input.wrong_type
+ *     outside enum domain    input.invalid_enum
+ *     NaN                    input.nan
+ *     ±Infinity              input.not_finite
+ *     no union branch fits   input.wrong_shape     every declared alternative, rendered
+ *
+ * Union resolution is DISCRIMINANT-FIRST (the `phi: {}` lesson: a missing discriminant must never
+ * fall through to whichever branch a key-set match happens to pick): when a discriminant key is
+ * present its value is checked against the union of every branch's literals before any branch is
+ * entered. Branches without a literal discriminant — `Amortization`'s `{ principalByPeriod }` arm —
+ * are selected structurally by their required keys.
+ *
+ * HOT PATHS: validate ONCE at the public boundary, then call unchecked internals. The walk is
+ * O(declared fields) over static generated data; per-spec derived lookups (allowed-key arrays)
+ * are cached in a module WeakMap so repeated calls allocate nothing.
+ */
+/** What the validator checks for a field, projected from the inventory's richer kind vocabulary. */
+export type ValidationFieldKind = 'numeric' | 'enum' | 'boolean' | 'string' | 'array' | 'object' | 'callback' | 'unchecked';
+export interface ValidationFieldSpecification {
+    readonly name: string;
+    readonly kind: ValidationFieldKind;
+    readonly optional?: boolean;
+    /** The declared union admits `null`; anywhere else a `null` is a wrong-typed value, not omission. */
+    readonly nullable?: boolean;
+    /**
+     * A documented IEEE BOUND field: ±Infinity is the spelled "unbounded" (`localCap: Infinity`,
+     * `globalFloor: -Infinity`). CURATED per contract in the validation roster, never inferred —
+     * the checker sees `number` either way, and which numbers mean "no bound" is financial
+     * semantics (C03). `NaN` stays rejected: no bound is ever spelled NaN.
+     */
+    readonly allowsInfinity?: boolean;
+    /**
+     * This numeric field is a synchronous resource count and must be a positive safe integer no
+     * larger than this operation-level ceiling. Generated only where the declaration-derived resource
+     * inventory owns the semantic classification; ordinary numeric magnitudes never receive it.
+     */
+    readonly safeIntegerMaximum?: number;
+    /** The array's elements are resource counts governed by the same positive-safe-integer ladder. */
+    readonly safeIntegerElementsMaximum?: number;
+    /** The closed literal domain of an `enum` field. */
+    readonly literals?: readonly (string | number | boolean)[];
+    /**
+     * OPEN primitive alternatives beside the literal domain — a MIXED union such as
+     * `Frequency = 'annual' | 'semiannual' | … | number`, where a value is valid when it is a listed
+     * literal OR any value of an open kind (numeric runs the finite ladder). Projected from the
+     * declaration's arms; without it the collapsed kind rejected the named spellings.
+     */
+    readonly openKinds?: readonly ValidationFieldKind[];
+    /** Nested closed object contract. */
+    readonly fields?: readonly ValidationFieldSpecification[];
+    /** Declared union alternatives. A field has `branches` OR `fields`, never both. */
+    readonly branches?: readonly ValidationBranchSpecification[];
+}
+export interface ValidationBranchSpecification {
+    readonly fields: readonly ValidationFieldSpecification[];
+}
+export interface ClosedRequestSpecification {
+    /** The stable contract identity this spec was generated from — drift gates compare through it. */
+    readonly contract: string;
+    readonly fields: readonly ValidationFieldSpecification[];
+    /**
+     * ROOT union alternatives — the whole argument is a discriminated union (`phiValue`'s `SSVIPhi`).
+     * When present, `fields` holds the arms' COMMON members (the discriminant) and resolution runs
+     * discriminant-first over these arms exactly as a union FIELD's branches do.
+     */
+    readonly branches?: readonly ValidationBranchSpecification[];
+}
+export interface ClosedRequestTeaching {
+    /** The argument's own label in container errors — defaults to `input`. */
+    readonly argumentName?: string;
+    /**
+     * This argument IS the request — field paths stay bare (`volatility`, `issueDate`) even under a
+     * domain-specific argument name like `specification`. Secondary arguments (an options bag beside
+     * a subject) omit it and get prefixed paths so a two-object call says which object to fix.
+     */
+    readonly subject?: boolean;
+    /**
+     * ONE complete, runnable call for this boundary, or a thunk so the string is only built on the
+     * failing path. Hand-authored at the call site: the generator knows the keys, never the values.
+     */
+    readonly exampleCall: string | (() => string);
+    /** Per-field unit-trap notes, keyed by BARE field name (`volatility: 'annualized decimal'`). */
+    readonly hints?: Readonly<Record<string, string>>;
+    /**
+     * The argument is an OPEN structural artifact per its manifest policy (Law 12): every consumed
+     * field runs its ladder, but unknown keys are PRESERVED decoration, never rejected — a fit
+     * result or market snapshot a user hands back may legitimately carry their own annotations.
+     * Curated from the manifest's per-argument `inputPolicies`; closed remains the default.
+     */
+    readonly open?: boolean;
+}
+/**
+ * Validate one public closed request against its GENERATED contract spec. Call ONCE at the public
+ * boundary; internals stay unchecked. Domain semantics (positivity, coordinate relationships,
+ * plausibility) remain the boundary's own code — this enforces shape, presence, type, finiteness,
+ * domain literals, and closedness, with the exact code each mistake owns.
+ */
+export declare function validateClosedRequest(functionName: string, value: unknown, specification: ClosedRequestSpecification, teaching: ClosedRequestTeaching): void;
+//# sourceMappingURL=validation.d.ts.map

package/modules/core/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAKH,oGAAoG;AACpG,MAAM,MAAM,mBAAmB,GAC3B,SAAS,GACT,MAAM,GACN,SAAS,GACT,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,UAAU,GACV,WAAW,CAAC;AAEhB,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,qGAAqG;IACrG,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,kGAAkG;IAClG,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC;IAC3D;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,qCAAqC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC1D,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,6BAA6B,EAAE,CAAC;CAC9D;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,MAAM,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAC1D;AAED,MAAM,WAAW,0BAA0B;IACzC,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,4BAA4B,EAAE,CAAC;IACzD;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,6BAA6B,EAAE,CAAC;CAC9D;AAED,MAAM,WAAW,qBAAqB;IACpC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;IAC9C,gGAAgG;IAChG,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB;AAwbD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,OAAO,EACd,aAAa,EAAE,0BAA0B,EACzC,QAAQ,EAAE,qBAAqB,GAC9B,IAAI,CA+BN"}