@insiderfinance/totalfinance 0.1.0

package/modules/core/dist/facade.js

@@ -0,0 +1,354 @@
+/**
+ * The facade pattern (design law #1 / §5.1): a plain callable paired with an `.explain()` companion.
+ *
+ * `f(input)` returns the bare value (and throws typed errors on failure); `f.explain(input)` returns
+ * the full {@link Computed} envelope (value + assumptions + diagnostics). One gesture, everywhere —
+ * lifted into core so every package builds its scalar facades the same way (DX1).
+ *
+ * Both constructors guard the FIRST argument centrally (the first-touch law, dx §7.1): a facade
+ * called with `undefined`, a string, or a number throws a typed teaching `InputError` here, before
+ * any property access inside the wrapped implementation can escape as a raw `TypeError`. The guard
+ * only checks the container shape — field-level validation stays inside each facade, where the
+ * domain knowledge lives.
+ */
+import { InputError, PostconditionError } from './errors.js';
+import * as ValidationCode from './validation-codes.js';
+/**
+ * The central first-argument container guard shared by {@link facade} and {@link seriesFacade}.
+ * `label` is the name the USER typed (`'sharpe'`, `'blackScholes.call'`) — facades receive it explicitly so
+ * the most common error in the library always names the function, never an internal helper (and
+ * survives minification, which `Function.prototype.name` inference cannot).
+ */
+function requireFirstArg(label, expected, value, allowArray) {
+    const isObject = value !== null && typeof value === 'object';
+    const isArrayish = Array.isArray(value) || ArrayBuffer.isView(value);
+    if (isObject && (allowArray || !isArrayish))
+        return;
+    const received = value === null
+        ? 'null'
+        : isArrayish
+            ? 'an array'
+            : typeof value === 'object'
+                ? 'object'
+                : typeof value;
+    throw new InputError(`${label}: expected ${expected} as the first argument, got ${received}.`, {
+        code: ValidationCode.InputWrongType,
+        context: { function: label, received },
+    });
+}
+/**
+ * `null` in a later position is never legal (a window is a number, options are an object, and
+ * `undefined` is how you omit) — but it slips past `options = {}` default parameters, so the central
+ * guard rejects it before a property read can escape as a raw TypeError.
+ */
+function requireLaterArgsNotNull(label, args) {
+    for (let i = 1; i < args.length; i++) {
+        if (args[i] === null) {
+            throw new InputError(`${label}: argument ${i + 1} is null — omit it (or pass an options object) instead.`, { code: ValidationCode.InputWrongType, context: { function: label, position: i } });
+        }
+    }
+}
+/**
+ * Law 7 runtime postcondition (spec P2.1, tightened in E3): a SUCCESSFUL explained result is
+ * JSON-safe — it NEVER carries a non-finite number (`JSON.stringify` would silently corrupt it to
+ * `null`). **Warnings never license a non-finite value**: an undefined quantity is reported as
+ * `null` and the warning explains the null. The only ratified exceptions are structural sentinels:
+ *
+ *   1. `diagnostics.warmup > 0` with an array value — EXACTLY the first `warmup` slots are the
+ *      documented aligned-series "not yet formed" sentinel; every slot past the prefix is checked;
+ *   2. discriminated "none" elements — zone-style points (`direction: 0`, shape-anchored on their
+ *      zone fields) and divergence points (`code: 0`, shape-anchored on `priceSwings`) — whose
+ *      documented NaN-when-none fields are exempt; every OTHER field of such an element is still
+ *      checked, and an element that merely says `direction: 0` without the zone shape (e.g. an
+ *      honest tdSequential point) is walked in full.
+ *
+ * Anything else non-finite throws {@link PostconditionError}: a library defect surfaced loudly at
+ * the boundary rather than shipped silently into a serialization. The walk is exhaustive — full
+ * depth (cycle-safe), value + assumptions + diagnostics + provenance — so nothing hides below a cap.
+ */
+export function assertFiniteResult(label, result) {
+    const d = result.diagnostics;
+    const warmup = typeof d?.warmup === 'number' && d.warmup > 0 ? d.warmup : 0;
+    const hits = [];
+    collectNonFinitePaths(result.value, 'value', warmup, hits);
+    collectNonFinitePaths(result.assumptions, 'assumptions', 0, hits);
+    collectNonFinitePaths(result.diagnostics, 'diagnostics', 0, hits);
+    collectNonFinitePaths(result.provenance, 'provenance', 0, hits);
+    if (hits.length === 0)
+        return;
+    throw new PostconditionError(`${label}: successful result carries a non-finite number at ${hits[0]} — this is a library ` +
+        'defect (Law 7); undefined quantities are reported as null with a warning explaining the ' +
+        'null. Please report it with your inputs.', { code: ValidationCode.PostconditionNonFinite, context: { function: label, paths: hits } });
+}
+/**
+ * Law 7 postcondition for a plain successful value or report. Scalar facades and object-valued
+ * analyses do not have an envelope in which a non-finite number can hide, so they use the same
+ * exhaustive walker as {@link assertFiniteResult}. Aligned arrays are checked by their explained
+ * companion because only its declared `diagnostics.warmup` can distinguish a legitimate prefix
+ * sentinel from a defect.
+ */
+/**
+ * Law 7's INPUT-DRIVEN twin (2026-08-23 review wave): refuse a computed result that finite inputs
+ * pushed past IEEE-754 double precision. `assertFiniteValue` reports a non-finite success as a
+ * LIBRARY defect ("please report it"); this finalizer reports it as the caller's magnitudes
+ * overflowing the arithmetic — a teaching refusal, not a bug report. Every public
+ * facade/analysis/ratified-plain answer in the Stage 4 domain packages returns through one of the
+ * two; the overflow mutant (`tools/first-touch/overflow-sweep.test.ts`) holds the law.
+ */
+export function requireRepresentableResult(functionName, result) {
+    const hits = [];
+    collectNonFinitePaths(result, 'result', 0, hits);
+    if (hits.length === 0)
+        return result;
+    throw new InputError(`${functionName}: the computed ${hits[0]} is not representable in IEEE-754 double precision — the input magnitudes overflow the arithmetic. Reduce the magnitudes (or rescale the units) and recompute.`, { code: ValidationCode.InputOutOfRange, context: { function: functionName, paths: hits } });
+}
+/** Exact integer value of `Number.MAX_VALUE` when every double is expressed in units of 2^-1074. */
+const MAX_DOUBLE_UNITS = ((1n << 53n) - 1n) << 2045n;
+/** Shared scratch storage for decoding a finite IEEE-754 double without allocating per addend. */
+const DOUBLE_BITS = new DataView(new ArrayBuffer(8));
+/** Add one finite double to an exact superaccumulator expressed in units of `Number.MIN_VALUE`. */
+function addDoubleUnits(total, value) {
+    if (value === 0)
+        return total;
+    DOUBLE_BITS.setFloat64(0, value, false);
+    const high = DOUBLE_BITS.getUint32(0, false);
+    const low = DOUBLE_BITS.getUint32(4, false);
+    const negative = (high & 0x8000_0000) !== 0;
+    const exponent = (high >>> 20) & 0x7ff;
+    const fraction = (BigInt(high & 0x000f_ffff) << 32n) | BigInt(low);
+    const significand = exponent === 0 ? fraction : (1n << 52n) | fraction;
+    // Subnormals already use 2^-1074 units. A normal with biased exponent e uses e - 1 shifts.
+    const units = exponent === 0 ? significand : significand << BigInt(exponent - 1);
+    return negative ? total - units : total + units;
+}
+/** Round an exact superaccumulator to the nearest double, ties to even. */
+function doubleFromUnits(units) {
+    if (units === 0n)
+        return 0;
+    const negative = units < 0n;
+    const magnitude = negative ? -units : units;
+    if (magnitude > MAX_DOUBLE_UNITS)
+        return negative ? -Infinity : Infinity;
+    const bitLength = magnitude.toString(2).length;
+    let shift = Math.max(0, bitLength - 53);
+    let significand = magnitude >> BigInt(shift);
+    if (shift > 0) {
+        const remainder = magnitude - (significand << BigInt(shift));
+        const halfway = 1n << BigInt(shift - 1);
+        if (remainder > halfway || (remainder === halfway && (significand & 1n) === 1n)) {
+            significand += 1n;
+            // Rounding 1.111… to 10.000… moves the exponent by one.
+            if (significand === 1n << 53n) {
+                significand >>= 1n;
+                shift += 1;
+            }
+        }
+    }
+    const rounded = Number(significand) * 2 ** (shift - 1074);
+    return negative ? -rounded : rounded;
+}
+/**
+ * Sum signed finite addends without losing a representable answer to evaluation order.
+ *
+ * The ordinary path uses a non-overlapping floating-point expansion: low-order residuals survive
+ * cancellation (`1e16 + 1 − 1e16 === 1`). If one partial addition itself overflows, the fallback
+ * decodes each double into an exact BigInt superaccumulator and rounds the exact total once. That
+ * fallback is what makes `1e308 + 1e308 + 1 − 1e308 − 1e308` return `1` in every permutation while
+ * still returning Infinity when the mathematical sum of the supplied doubles exceeds
+ * `Number.MAX_VALUE`. Non-finite addends retain ordinary IEEE-754 propagation semantics.
+ */
+export function stableSum(addends) {
+    const partials = [];
+    let needsExactFallback = false;
+    addendsLoop: for (const addend of addends) {
+        if (!Number.isFinite(addend)) {
+            let ieeeTotal = 0;
+            for (const value of addends)
+                ieeeTotal += value;
+            return ieeeTotal;
+        }
+        let next = addend;
+        let write = 0;
+        for (const existing of partials) {
+            let larger = next;
+            let smaller = existing;
+            if (Math.abs(larger) < Math.abs(smaller))
+                [larger, smaller] = [smaller, larger];
+            const high = larger + smaller;
+            if (!Number.isFinite(high)) {
+                needsExactFallback = true;
+                break addendsLoop;
+            }
+            const low = smaller - (high - larger);
+            if (low !== 0)
+                partials[write++] = low;
+            next = high;
+        }
+        partials.length = write;
+        if (next !== 0)
+            partials.push(next);
+    }
+    if (!needsExactFallback) {
+        let total = 0;
+        for (const partial of partials)
+            total += partial;
+        return total;
+    }
+    let exact = 0n;
+    for (const addend of addends)
+        exact = addDoubleUnits(exact, addend);
+    return doubleFromUnits(exact);
+}
+export function assertFiniteValue(label, value) {
+    const hits = [];
+    collectNonFinitePaths(value, 'value', 0, hits);
+    if (hits.length === 0)
+        return;
+    throw new PostconditionError(`${label}: successful result carries a non-finite number at ${hits[0]} — this is a library ` +
+        'defect (Law 7); undefined quantities are reported as null with a warning explaining the ' +
+        'null. Please report it with your inputs.', { code: ValidationCode.PostconditionNonFinite, context: { function: label, paths: hits } });
+}
+/** Validate and return a direct Computed result in one expression. */
+export function finalizeResult(label, result) {
+    assertFiniteResult(label, result);
+    return result;
+}
+function assertFinitePlainValue(label, value) {
+    // A plain aligned-series array carries its exact warmup only on `.explain()`. That path is checked
+    // below by assertFiniteResult; scalar and object/report outputs can be checked immediately.
+    if (Array.isArray(value) || ArrayBuffer.isView(value))
+        return;
+    assertFiniteValue(label, value);
+}
+/**
+ * The documented NaN-when-none fields of the ratified "none" sentinels, as one delimited string
+ * (a `|a|b|` membership test costs a fraction of the array literals it replaces on the hot path):
+ *
+ *   - zone points (`fairValueGaps`/`orderBlocks`): `{ direction: 0, top, bottom, mid }`;
+ *   - liquidity sweeps: `{ direction: 0, level }`;
+ *   - divergence points: `{ code: 0, index, priceSwings, indicatorSwings }`.
+ *
+ * Every sentinel is anchored on the element's STRUCTURAL shape — never on the discriminant value
+ * alone — so an unrelated element that merely says `direction: 0` (tdSequential's honest
+ * `{ setup, countdown, direction: 0 }`) keeps full finiteness checking. Fields OUTSIDE this set are
+ * checked even on a sentinel-shaped element: the disclosure covers the documented slots, not
+ * whatever else a producer decides to attach.
+ */
+const SENTINEL_NONE_FIELDS = '|top|bottom|mid|level|index|priceSwings|indicatorSwings|';
+/**
+ * Collect non-finite paths in a value tree, honoring the ratified sentinel contracts (warmup
+ * prefix, shape-anchored "none" elements). Full-depth and cycle-safe; collection stops at 8 paths
+ * purely to bound the error payload — the throw/no-throw outcome is decided by the FIRST hit, so
+ * the cap can never hide a violation. Values JSON.stringify cannot represent faithfully are
+ * violations too: BigInt (stringify THROWS) and DataView (stringifies as `{}`) are flagged, and
+ * Map/Set contents — which stringify silently drops — are walked like any other container.
+ */
+function collectNonFinitePaths(value, root, skipLeading, out) {
+    const seen = new Set();
+    const walk = (v, path, skip) => {
+        if (out.length >= 8)
+            return;
+        if (typeof v === 'number') {
+            if (!Number.isFinite(v))
+                out.push(path);
+            return;
+        }
+        // JSON.stringify THROWS on a BigInt — a "successful" envelope carrying one is not serializable.
+        // Checked before the cycle set, whose SameValueZero identity would dedupe equal bigints.
+        if (typeof v === 'bigint') {
+            out.push(path);
+            return;
+        }
+        if (v === null || typeof v !== 'object')
+            return;
+        if (seen.has(v))
+            return;
+        seen.add(v);
+        // A DataView passes `ArrayBuffer.isView` but has no `.length`, so the array walk below would
+        // silently skip it — and JSON.stringify corrupts it to `{}`. Opaque bytes in a numeric result
+        // envelope are a defect, not data: report the path rather than guess at an interpretation.
+        if (v instanceof DataView) {
+            out.push(path);
+            return;
+        }
+        // Map/Set contents vanish under JSON.stringify (`{}`), so an undisclosed NaN inside one would
+        // never reach the serialization the postcondition is defending — walk both by their entries.
+        if (v instanceof Map || v instanceof Set) {
+            let i = 0;
+            for (const entry of v) {
+                const [k, val] = v instanceof Map ? entry : [i++, entry];
+                walk(val, `${path}[${String(k)}]`, 0);
+                if (out.length >= 8)
+                    return;
+            }
+            return;
+        }
+        if (Array.isArray(v) || ArrayBuffer.isView(v)) {
+            const arr = v;
+            for (let i = skip; i < arr.length; i++) {
+                walk(arr[i], `${path}[${i}]`, 0);
+                if (out.length >= 8)
+                    return;
+            }
+            return;
+        }
+        // A discriminated "none" element exempts its DOCUMENTED NaN fields — anchored on the element's
+        // shape (a zone/sweep carries `mid`/`level`, a divergence carries `priceSwings`), never on the
+        // discriminant value alone, so an honest `{ setup, countdown, direction: 0 }` is still walked.
+        const disc = v;
+        const sentinel = (disc.direction === 0 && ('mid' in v || 'level' in v)) ||
+            (disc.code === 0 && 'priceSwings' in v);
+        for (const [k, val] of Object.entries(v)) {
+            // Fields outside the documented set are checked even here: the disclosure covers the
+            // documented slots, not whatever else a producer attaches.
+            if (sentinel && SENTINEL_NONE_FIELDS.includes(`|${k}|`))
+                continue;
+            walk(val, `${path}.${k}`, 0);
+            if (out.length >= 8)
+                return;
+        }
+    };
+    walk(value, root, skipLeading);
+}
+/**
+ * Pair a plain-value `call` with its envelope-returning `explain` into a single {@link Facade}.
+ * `label` is the public name of the facade as the user calls it (e.g. `'blackScholes.call'`) — it opens every
+ * guard message. S1 facades take an input OBJECT of named fields, so arrays are rejected here too.
+ */
+export function facade(label, call, explain) {
+    const guardedCall = (input) => {
+        requireFirstArg(label, 'an input object of named fields', input, false);
+        const value = call(input);
+        assertFinitePlainValue(label, value);
+        return value;
+    };
+    const guardedExplain = (input) => {
+        requireFirstArg(`${label}.explain`, 'an input object of named fields', input, false);
+        const result = explain(input);
+        assertFiniteResult(label, result);
+        return result;
+    };
+    return Object.assign(guardedCall, { explain: guardedExplain });
+}
+/**
+ * Pair a series-first `call` with an `.explain()` that takes the same arguments (S2 facades).
+ * `label` is the public name of the facade as the user calls it (e.g. `'sharpe'`).
+ */
+export function seriesFacade(label, call, explain) {
+    const guardedCall = (...callArguments) => {
+        requireFirstArg(label, 'a series (or an input object)', callArguments[0], true);
+        requireLaterArgsNotNull(label, callArguments);
+        const value = call(...callArguments);
+        assertFinitePlainValue(label, value);
+        return value;
+    };
+    const guardedExplain = (...callArguments) => {
+        requireFirstArg(`${label}.explain`, 'a series (or an input object)', callArguments[0], true);
+        requireLaterArgsNotNull(`${label}.explain`, callArguments);
+        const result = explain(...callArguments);
+        assertFiniteResult(label, result);
+        return result;
+    };
+    return Object.assign(guardedCall, { explain: guardedExplain });
+}
+//# sourceMappingURL=facade.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"facade.js","sourceRoot":"","sources":["../src/facade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,KAAK,cAAc,MAAM,uBAAuB,CAAC;AAExD;;;;;GAKG;AACH,SAAS,eAAe,CACtB,KAAa,EACb,QAAgB,EAChB,KAAc,EACd,UAAmB;IAEnB,MAAM,QAAQ,GAAG,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;IAC7D,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrE,IAAI,QAAQ,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC;QAAE,OAAO;IACpD,MAAM,QAAQ,GACZ,KAAK,KAAK,IAAI;QACZ,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,UAAU;YACV,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ;gBACzB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,KAAK,CAAC;IACvB,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,cAAc,QAAQ,+BAA+B,QAAQ,GAAG,EAAE;QAC7F,IAAI,EAAE,cAAc,CAAC,cAAc;QACnC,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE;KACvC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAAC,KAAa,EAAE,IAAwB;IACtE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,UAAU,CAClB,GAAG,KAAK,cAAc,CAAC,GAAG,CAAC,yDAAyD,EACpF,EAAE,IAAI,EAAE,cAAc,CAAC,cAAc,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CACnF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,MAAyB;IACzE,MAAM,CAAC,GAAG,MAAM,CAAC,WAA8C,CAAC;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,qBAAqB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3D,qBAAqB,CAAE,MAAoC,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjG,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAClE,qBAAqB,CAAE,MAAmC,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,MAAM,IAAI,kBAAkB,CAC1B,GAAG,KAAK,sDAAsD,IAAI,CAAC,CAAC,CAAC,uBAAuB;QAC1F,0FAA0F;QAC1F,0CAA0C,EAC5C,EAAE,IAAI,EAAE,cAAc,CAAC,sBAAsB,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC3F,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CAAI,YAAoB,EAAE,MAAS;IAC3E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACrC,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,kBAAkB,IAAI,CAAC,CAAC,CAAC,gKAAgK,EACxM,EAAE,IAAI,EAAE,cAAc,CAAC,eAAe,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC3F,CAAC;AACJ,CAAC;AAED,oGAAoG;AACpG,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC;AAErD,kGAAkG;AAClG,MAAM,WAAW,GAAG,IAAI,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAErD,mGAAmG;AACnG,SAAS,cAAc,CAAC,KAAa,EAAE,KAAa;IAClD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9B,WAAW,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,CAAC,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC;IACvC,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,WAAW,CAAC,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC;IACvE,2FAA2F;IAC3F,MAAM,KAAK,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACjF,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;AAClD,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,KAAK,GAAG,EAAE,CAAC;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAC5C,IAAI,SAAS,GAAG,gBAAgB;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAEzE,MAAM,SAAS,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,CAAC;IACxC,IAAI,WAAW,GAAG,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,SAAS,GAAG,SAAS,GAAG,CAAC,WAAW,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,EAAE,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACxC,IAAI,SAAS,GAAG,OAAO,IAAI,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;YAChF,WAAW,IAAI,EAAE,CAAC;YAClB,wDAAwD;YACxD,IAAI,WAAW,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC;gBAC9B,WAAW,KAAK,EAAE,CAAC;gBACnB,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC;IAC1D,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;AACvC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CAAC,OAA0B;IAClD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAE/B,WAAW,EAAE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,IAAI,SAAS,GAAG,CAAC,CAAC;YAClB,KAAK,MAAM,KAAK,IAAI,OAAO;gBAAE,SAAS,IAAI,KAAK,CAAC;YAChD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,IAAI,GAAG,MAAM,CAAC;QAClB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;YAChC,IAAI,MAAM,GAAG,IAAI,CAAC;YAClB,IAAI,OAAO,GAAG,QAAQ,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAChF,MAAM,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,kBAAkB,GAAG,IAAI,CAAC;gBAC1B,MAAM,WAAW,CAAC;YACpB,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;YACtC,IAAI,GAAG,KAAK,CAAC;gBAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC;YACvC,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QACD,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;QACxB,IAAI,IAAI,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,OAAO,IAAI,QAAQ;YAAE,KAAK,IAAI,OAAO,CAAC;QACjD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpE,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAa,EAAE,KAAc;IAC7D,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,MAAM,IAAI,kBAAkB,CAC1B,GAAG,KAAK,sDAAsD,IAAI,CAAC,CAAC,CAAC,uBAAuB;QAC1F,0FAA0F;QAC1F,0CAA0C,EAC5C,EAAE,IAAI,EAAE,cAAc,CAAC,sBAAsB,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC3F,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,cAAc,CAC5B,KAAa,EACb,MAAc;IAEd,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAa,EAAE,KAAc;IAC3D,mGAAmG;IACnG,4FAA4F;IAC5F,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO;IAC9D,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,oBAAoB,GAAG,0DAA0D,CAAC;AAExF;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAC5B,KAAc,EACd,IAAY,EACZ,WAAmB,EACnB,GAAa;IAEb,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;IAChC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,IAAY,EAAE,IAAY,EAAQ,EAAE;QAC5D,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,OAAO;QACT,CAAC;QACD,gGAAgG;QAChG,yFAAyF;QACzF,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO;QAChD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACxB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,6FAA6F;QAC7F,8FAA8F;QAC9F,2FAA2F;QAC3F,IAAI,CAAC,YAAY,QAAQ,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,OAAO;QACT,CAAC;QACD,8FAA8F;QAC9F,6FAA6F;QAC7F,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACzC,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,KAAK,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,YAAY,GAAG,CAAC,CAAC,CAAE,KAA4B,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACjF,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACtC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC;oBAAE,OAAO;YAC9B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,CAAuB,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACjC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC;oBAAE,OAAO;YAC9B,CAAC;YACD,OAAO;QACT,CAAC;QACD,+FAA+F;QAC/F,+FAA+F;QAC/F,+FAA+F;QAC/F,MAAM,IAAI,GAAG,CAA4C,CAAC;QAC1D,MAAM,QAAQ,GACZ,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC;YACtD,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,aAAa,IAAI,CAAC,CAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,qFAAqF;YACrF,2DAA2D;YAC3D,IAAI,QAAQ,IAAI,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,SAAS;YAClE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAC7B,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC;gBAAE,OAAO;QAC9B,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;AACjC,CAAC;AAqBD;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAMpB,KAAa,EACb,IAA8B,EAC9B,OAAwD;IAExD,MAAM,WAAW,GAAG,CAAC,KAAY,EAAU,EAAE;QAC3C,eAAe,CAAC,KAAK,EAAE,iCAAiC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,KAAY,EAAiC,EAAE;QACrE,eAAe,CAAC,GAAG,KAAK,UAAU,EAAE,iCAAiC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;AACjE,CAAC;AAgBD;;;GAGG;AACH,MAAM,UAAU,YAAY,CAK1B,KAAa,EACb,IAAwC,EACxC,OAA4D;IAE5D,MAAM,WAAW,GAAG,CAAC,GAAG,aAAmB,EAAU,EAAE;QACrD,eAAe,CAAC,KAAK,EAAE,+BAA+B,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChF,uBAAuB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QACrC,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,GAAG,aAAmB,EAA2B,EAAE;QACzE,eAAe,CAAC,GAAG,KAAK,UAAU,EAAE,+BAA+B,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7F,uBAAuB,CAAC,GAAG,KAAK,UAAU,EAAE,aAAa,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,aAAa,CAAC,CAAC;QACzC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,CAI5D,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,45 @@
+/**
+ * `@insiderfinance/totalfinance/core` — shared types, conventions, errors, diagnostics, assumptions, and small
+ * numeric utilities. Zero runtime dependencies and browser-safe.
+ *
+ * The runtime schema facade is intentionally NOT re-exported here; import it from
+ * `@insiderfinance/totalfinance/core/schema` so compute entrypoints never pull validator code (spec §6).
+ */
+export { PostconditionError, QuantError, InputError, ConvergenceError, ArbitrageError, DataError, UnsupportedError, ConfigurationError, isQuantError, missingFieldError, wrongShapeError, ErrorCode, } from './errors.js';
+export type { QuantErrorOptions } from './errors.js';
+export { emptyDiagnostics, warning, plausibilityWarnings, suspiciousReturnsWarning, WarningCode, } from './diagnostics.js';
+export type { Diagnostics, QuantWarning, WarningSeverity } from './diagnostics.js';
+export type { Assumptions, GreekUnits, ThetaUnit, VegaUnit, RhoUnit, DividendModel, } from './assumptions.js';
+export { CONVENTIONS_VERSION, DEFAULT_DAY_COUNT, DEFAULT_COMPOUNDING, DEFAULT_DIVIDEND_YIELD, DEFAULT_GREEK_UNITS, } from './assumptions.js';
+export type { Computed } from './computed.js';
+export { isComputed, isTrustworthy } from './computed.js';
+export type { Provenance } from './provenance.js';
+export { assertFiniteResult, assertFiniteValue, requireRepresentableResult, stableSum, finalizeResult, facade, seriesFacade, } from './facade.js';
+export type { Facade, SeriesFacade } from './facade.js';
+export type { OptionType, OptionStyle, Settlement, ExerciseTime, Deliverable, OptionContract, } from './contracts.js';
+export type { EpochMs, DayCount, InterestCompounding } from './time.js';
+export { US_EQUITY_HALF_DAY_RULES, isUsEquityHalfDay, usEquityCloseUtcMs, usEquitySessionInstant, usEquityMarketDayIndex, usEquityMarketDateUtcMs, optionExpiryToMs, resolveAsOf, resolveValuationAsOf, validateResolvedExpiry, resolvedExpiry, } from './time.js';
+export { parseIsoDate, isoDateToEpochMs, yearFraction, discountFactor, compoundingPeriodsPerYear, compoundFactor, } from './dates.js';
+export type { CalendarDate } from './dates.js';
+export type { SymbolId, Bar, Quote, Trade, OptionQuote, OptionQuoteGreeks, OptionQuoteGreeksProvenance, OptionTrade, Dividend, CorporateAction, RateCurvePoint, RateCurve, OrderBookLevel, OrderBook, RawFundamentalsRecord, MarketInputs, PriceSource, } from './market-data.js';
+export { requireRateCurveData, selectQuotePrice } from './market-data.js';
+export { parseOccSymbol, formatOccSymbol, isOccOptionSymbol } from './symbology.js';
+export type { OccOptionSymbol } from './symbology.js';
+export { ORDER_SIDES, ORDER_TYPES, TIME_IN_FORCE_VALUES, sideOf, signOf } from './orders.js';
+export type { OrderSide, OrderType, TimeInForce } from './orders.js';
+export { createRuleCalendar, defineCalendar, alwaysOpen, weekendsOnly, dayOfWeek, addDays, ymd, nthWeekdayOfMonth, lastWeekdayOfMonth, observedHoliday, easterSunday, goodFriday, } from './calendar.js';
+export type { Calendar, CalendarConfig, DaySession, Weekday, HolidayRule } from './calendar.js';
+export { isFiniteNumber, isPositive, isNonNegative, between, clamp, round, toFixedSafe, formatMoney, formatPercent, } from './numeric.js';
+export type { BetweenOptions, FormatMoneyOptions, FormatPercentOptions } from './numeric.js';
+export { ensureEnum, ensureFinite, ensureFiniteWhenPresent, ensurePositive, ensureNonNegative, requireArgumentArray, requireArgumentObject, requireFiniteFields, ensureKnownKeys, finiteOrNull, } from './invariants.js';
+/**
+ * RV9 — `requireFiniteFields` was exported while the type of its options argument was not. That was
+ * survivable while the argument was optional; it is not now that `exampleCall` is required, because
+ * a caller must supply an object of a type they cannot name. The nameability inventory caught it as
+ * `unreachable` ("no package exports it") the moment the argument stopped being optional.
+ */
+export type { RequireFiniteFieldsOptions } from './invariants.js';
+export { validateClosedRequest } from './validation.js';
+export type { ClosedRequestSpecification, ClosedRequestTeaching, ValidationBranchSpecification, ValidationFieldKind, ValidationFieldSpecification, } from './validation.js';
+export type { JSONSchema } from './schema/json-schema.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,kBAAkB,EAClB,UAAU,EACV,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,kBAAkB,EAClB,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,SAAS,GACV,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EACL,gBAAgB,EAChB,OAAO,EACP,oBAAoB,EACpB,wBAAwB,EACxB,WAAW,GACZ,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnF,YAAY,EACV,WAAW,EACX,UAAU,EACV,SAAS,EACT,QAAQ,EACR,OAAO,EACP,aAAa,GACd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAE1B,YAAY,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC1D,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,SAAS,EACT,cAAc,EACd,MAAM,EACN,YAAY,GACb,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAExD,YAAY,EACV,UAAU,EACV,WAAW,EACX,UAAU,EACV,YAAY,EACZ,WAAW,EACX,cAAc,GACf,MAAM,gBAAgB,CAAC;AAExB,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,kBAAkB,EAClB,sBAAsB,EACtB,sBAAsB,EACtB,uBAAuB,EACvB,gBAAgB,EAChB,WAAW,EACX,oBAAoB,EACpB,sBAAsB,EACtB,cAAc,GACf,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,yBAAyB,EACzB,cAAc,GACf,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,YAAY,EACV,QAAQ,EACR,GAAG,EACH,KAAK,EACL,KAAK,EACL,WAAW,EACX,iBAAiB,EACjB,2BAA2B,EAC3B,WAAW,EACX,QAAQ,EACR,eAAe,EACf,cAAc,EACd,SAAS,EACT,cAAc,EACd,SAAS,EACT,qBAAqB,EACrB,YAAY,EACZ,WAAW,GACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE1E,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACpF,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGtD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC7F,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAErE,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,YAAY,EACZ,SAAS,EACT,OAAO,EACP,GAAG,EACH,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,YAAY,EACZ,UAAU,GACX,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEhG,OAAO,EACL,cAAc,EACd,UAAU,EACV,aAAa,EACb,OAAO,EACP,KAAK,EACL,KAAK,EACL,WAAW,EACX,WAAW,EACX,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAE7F,OAAO,EACL,UAAU,EACV,YAAY,EACZ,uBAAuB,EACvB,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,YAAY,GACb,MAAM,iBAAiB,CAAC;AAGzB;;;;;GAKG;AACH,YAAY,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACxD,YAAY,EACV,0BAA0B,EAC1B,qBAAqB,EACrB,6BAA6B,EAC7B,mBAAmB,EACnB,4BAA4B,GAC7B,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC"}

package/modules/core/dist/index.js

@@ -0,0 +1,23 @@
+/**
+ * `@insiderfinance/totalfinance/core` — shared types, conventions, errors, diagnostics, assumptions, and small
+ * numeric utilities. Zero runtime dependencies and browser-safe.
+ *
+ * The runtime schema facade is intentionally NOT re-exported here; import it from
+ * `@insiderfinance/totalfinance/core/schema` so compute entrypoints never pull validator code (spec §6).
+ */
+export { PostconditionError, QuantError, InputError, ConvergenceError, ArbitrageError, DataError, UnsupportedError, ConfigurationError, isQuantError, missingFieldError, wrongShapeError, ErrorCode, } from './errors.js';
+export { emptyDiagnostics, warning, plausibilityWarnings, suspiciousReturnsWarning, WarningCode, } from './diagnostics.js';
+export { CONVENTIONS_VERSION, DEFAULT_DAY_COUNT, DEFAULT_COMPOUNDING, DEFAULT_DIVIDEND_YIELD, DEFAULT_GREEK_UNITS, } from './assumptions.js';
+export { isComputed, isTrustworthy } from './computed.js';
+export { assertFiniteResult, assertFiniteValue, requireRepresentableResult, stableSum, finalizeResult, facade, seriesFacade, } from './facade.js';
+export { US_EQUITY_HALF_DAY_RULES, isUsEquityHalfDay, usEquityCloseUtcMs, usEquitySessionInstant, usEquityMarketDayIndex, usEquityMarketDateUtcMs, optionExpiryToMs, resolveAsOf, resolveValuationAsOf, validateResolvedExpiry, resolvedExpiry, } from './time.js';
+export { parseIsoDate, isoDateToEpochMs, yearFraction, discountFactor, compoundingPeriodsPerYear, compoundFactor, } from './dates.js';
+export { requireRateCurveData, selectQuotePrice } from './market-data.js';
+export { parseOccSymbol, formatOccSymbol, isOccOptionSymbol } from './symbology.js';
+// B6 — one order vocabulary: side, type, time-in-force, and the sign↔side bridge.
+export { ORDER_SIDES, ORDER_TYPES, TIME_IN_FORCE_VALUES, sideOf, signOf } from './orders.js';
+export { createRuleCalendar, defineCalendar, alwaysOpen, weekendsOnly, dayOfWeek, addDays, ymd, nthWeekdayOfMonth, lastWeekdayOfMonth, observedHoliday, easterSunday, goodFriday, } from './calendar.js';
+export { isFiniteNumber, isPositive, isNonNegative, between, clamp, round, toFixedSafe, formatMoney, formatPercent, } from './numeric.js';
+export { ensureEnum, ensureFinite, ensureFiniteWhenPresent, ensurePositive, ensureNonNegative, requireArgumentArray, requireArgumentObject, requireFiniteFields, ensureKnownKeys, finiteOrNull, } from './invariants.js';
+export { validateClosedRequest } from './validation.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,kBAAkB,EAClB,UAAU,EACV,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,kBAAkB,EAClB,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,SAAS,GACV,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,gBAAgB,EAChB,OAAO,EACP,oBAAoB,EACpB,wBAAwB,EACxB,WAAW,GACZ,MAAM,kBAAkB,CAAC;AAW1B,OAAO,EACL,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG1D,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,SAAS,EACT,cAAc,EACd,MAAM,EACN,YAAY,GACb,MAAM,aAAa,CAAC;AAarB,OAAO,EACL,wBAAwB,EACxB,iBAAiB,EACjB,kBAAkB,EAClB,sBAAsB,EACtB,sBAAsB,EACtB,uBAAuB,EACvB,gBAAgB,EAChB,WAAW,EACX,oBAAoB,EACpB,sBAAsB,EACtB,cAAc,GACf,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,yBAAyB,EACzB,cAAc,GACf,MAAM,YAAY,CAAC;AAsBpB,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE1E,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGpF,kFAAkF;AAClF,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG7F,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,YAAY,EACZ,SAAS,EACT,OAAO,EACP,GAAG,EACH,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,YAAY,EACZ,UAAU,GACX,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,cAAc,EACd,UAAU,EACV,aAAa,EACb,OAAO,EACP,KAAK,EACL,KAAK,EACL,WAAW,EACX,WAAW,EACX,aAAa,GACd,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,UAAU,EACV,YAAY,EACZ,uBAAuB,EACvB,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,YAAY,GACb,MAAM,iBAAiB,CAAC;AAUzB,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC"}

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

@@ -0,0 +1,112 @@
+/**
+ * Tiny local invariant checks for hot compute paths (spec §6 hot-path rule).
+ *
+ * These are the ONLY validation a facade performs inline — just enough to avoid nonsensical math.
+ * They throw `InputError` with stable codes and pull in no schema/validator library, so deep
+ * compute entrypoints stay within bundle budget.
+ */
+/** Throw unless `value` is a finite number. */
+export declare function ensureFinite(value: number, field: string, functionName: string): void;
+/** Throw unless `value` is a finite number `> 0`. */
+export declare function ensurePositive(value: number, field: string, functionName: string, code?: string): void;
+/** Throw unless `value` is a finite number `>= 0`. */
+export declare function ensureNonNegative(value: number, field: string, functionName: string, code?: string): void;
+/**
+ * Boundary container guards (the first-touch law, dx §7.1): one-line argument-shape checks for
+ * facades whose implementations would otherwise dereference garbage into a raw `TypeError`.
+ * Container-shape only — field-level validation stays in the facade.
+ */
+/**
+ * Enum guard: `value` must be exactly one of `allowed` (design law #4 — a meaning-changing field is
+ * never coerced; `type: 'Call'` must teach, not silently price the other leg). Accepts `unknown` so
+ * boundary callers can validate untyped input without a cast.
+ */
+export declare function ensureEnum<T extends string>(value: unknown, allowed: readonly T[], field: string, functionName: string): asserts value is T;
+export declare function requireArgumentObject(functionName: string, field: string, value: unknown): void;
+/** Throw unless `value` is a real array (or typed array). */
+export declare function requireArgumentArray(functionName: string, field: string, value: unknown): void;
+/**
+ * Law 7 helper: a computed quantity that overflowed/underflowed to NaN/±Infinity is reported as
+ * `null` (undefined-with-reason at the envelope tier), never as a non-finite "success" value.
+ */
+export declare function finiteOrNull(value: number): number | null;
+/**
+ * The shared enforcement path for a request object's NUMERIC fields (spec 3B.1b).
+ *
+ * One call answers the three questions a numeric contract actually makes, in the order a caller
+ * makes mistakes: is the field there, is it a number, is that number usable. Each gets its own code
+ * and its own sentence, because "volatility is required" and "volatility must be a finite number,
+ * received NaN" are different bugs with different fixes and a single `input.not_finite` for both
+ * teaches neither.
+ *
+ * Why this exists rather than a hand-rolled check per boundary: measurement found 31 public
+ * boundaries where omitting a declared-required field reached the arithmetic and returned `NaN` —
+ * `blackScholesPrice({ spot, strike, timeToExpiryYears, riskFreeRate, dividendYield })` with no
+ * `volatility` priced the option as `NaN` and handed it back as a success. In a pricing library a
+ * silently wrong number is the worst possible failure: it does not look like an error at any layer
+ * that consumes it. The declaration already said the field was required; only the runtime disagreed.
+ *
+ * HOT PATHS: this validates ONE object, not one row. It belongs at a public facade, never inside an
+ * iterative solver or a columnar loop whose columns were already checked — those call the unchecked
+ * kernel behind the facade (spec 3B.1b: unchecked numeric routines stay private and reachable only
+ * after validation). A `for` over a handful of declared names costs nothing next to `Math.log`; the
+ * same loop run 100,000 times inside a batch path is a different thing entirely.
+ */
+export interface RequireFiniteFieldsOptions {
+    /**
+     * ONE complete, runnable call for this boundary — `blackScholesPrice({ type: 'call', spot: 100, … })`,
+     * not a field fragment like `volatility: 0.2`.
+     *
+     * `missingFieldError` documents itself as showing "a WORKING example call", and the rest of the
+     * library honours that: `walkForward({ data, trainSize: 30, … })`, `sma(closes, { period: 20 })`.
+     * A fragment is helpful but not pasteable, and a caller who is already confused about the shape of
+     * the request is exactly who cannot assemble one from a field snippet.
+     */
+    /**
+     * A THUNK is accepted so a derived example costs nothing on the success path.
+     *
+     * Shared validators must build their example from the reported function name, and RV6 first wrote
+     * that as `exampleCall: facadeExampleCall(functionName)` — evaluated on EVERY call, including the
+     * millions that never fail. That put string construction inside `blackScholes.price`, a documented
+     * hot path, to produce a message thrown away unused. The lazy form keeps the example correct and
+     * the success path free; it is only invoked when a field is actually missing.
+     */
+    exampleCall: string | (() => string);
+    /**
+     * Optional per-field note appended on its own line — the unit trap or range the call shape cannot
+     * carry (`annualized decimal, not 20`). Keyed by the BARE field name.
+     */
+    hints?: Readonly<Record<string, string>>;
+    /**
+     * Dotted prefix for a NESTED contract, so the error reads `parameters.kappa` rather than `kappa`.
+     * The caller is holding an outer request; the bare name does not say which object to fix.
+     */
+    path?: string;
+}
+export declare function requireFiniteFields(functionName: string, input: unknown, fields: readonly string[], options: RequireFiniteFieldsOptions): void;
+/**
+ * A finite numeric value WHEN PRESENT — the optional-field sibling of {@link requireFiniteFields}.
+ *
+ * `undefined` is allowed (optional omission, C06); anything else runs the same ladder a required
+ * field does, so a string in an optional numeric slot reports `input.wrong_type` exactly as it
+ * would in a required one. Calling bare `ensureFinite` there reported `input.not_finite`, which
+ * contradicted the library's own documented matrix — and a test had been written asserting the
+ * contradiction, which is how it survived.
+ *
+ * `null` is NOT omission. This guard originally returned early on null, which silently accepted a
+ * value every one of its call sites declares impossible (`lowerVolatilityBound?: number`, a bar's
+ * `open?: number` — none say `| null`). C06 reserves `null` for declarations that explicitly carry
+ * it; a field that wants nullable semantics declares them and takes a different guard. The
+ * `null-when-nonnullable` enforcement mutation exists to keep this class measurable.
+ */
+export declare function ensureFiniteWhenPresent(value: unknown, field: string, functionName: string): void;
+/**
+ * Law 12 — facade, analysis, and builder object inputs REJECT unknown keys (a misspelled option
+ * must never be silently ignored: `greek: false` computing Greeks anyway is the bug class this
+ * kills). Cheap by design: one key scan against a Set-able allowlist, no schema machinery, so it
+ * is safe on hot facade paths. Direct kernels use named objects when financial values could be
+ * confused; adapters that own foreign/superset schemas are declared `passthrough` in the manifest
+ * and skip this guard.
+ */
+export declare function ensureKnownKeys(functionName: string, field: string, value: object, allowed: readonly string[]): void;
+//# sourceMappingURL=invariants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../src/invariants.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,CAUrF;AAED,qDAAqD;AACrD,wBAAgB,cAAc,CAC5B,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAAuC,GAC5C,IAAI,CAQN;AAED,sDAAsD;AACtD,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,YAAY,EAAE,MAAM,EACpB,IAAI,GAAE,MAAuC,GAC5C,IAAI,CAQN;AA0BD;;;;GAIG;AACH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,MAAM,EACzC,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,SAAS,CAAC,EAAE,EACrB,KAAK,EAAE,MAAM,EACb,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,KAAK,IAAI,CAAC,CAWpB;AAED,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAU/F;AAED,6DAA6D;AAC7D,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAO9F;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAEzD;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,WAAW,0BAA0B;IACzC;;;;;;;;OAQG;IACH;;;;;;;;OAQG;IACH,WAAW,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;IACrC;;;OAGG;IACH,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACzC;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAOD,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,OAAO,EAAE,0BAA0B,GAClC,IAAI,CA2CN;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,CAYjG;AAgCD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,IAAI,CAmBN"}