universal-physics-tensor 0.4.5

package/dist/dimensional/validator.js

@@ -0,0 +1,505 @@
+/**
+ * Validator: walks an ExprNode tree and infers / checks SI dimensions.
+ *
+ * Honest-claude scope notes:
+ *   - This MVP does NOT track tensor index structure (rank, contractions).
+ *     Bridge Eq 17's index-rank mismatch from the spec cannot be caught here.
+ *     Tier 4.5 follow-up — see README.
+ *   - Special functions (log, exp, trig) are out of scope; their arguments
+ *     must be dimensionless but the validator does not yet enforce that.
+ *
+ * @module dimensional/validator
+ */
+import { DIMENSIONLESS, } from './types.js';
+import { multiply, divide, power, add, subtract, equals, format, DimensionMismatchError, } from './algebra.js';
+import { TensorInScalarOpError, FreeIndexMismatchError, TensorProductChildInferenceError, } from './errors.js';
+import { validateTensorSymbol, computeContraction } from './tensor.js';
+import { validateMetricTensor, validateKroneckerDelta, validatePartialDerivative, checkInverseMetricStructure, } from './metric-validators.js';
+import { validateCovariantDerivative } from './connection-validators.js';
+function joinPath(path, segment) {
+    return path === '' ? segment : `${path}.${segment}`;
+}
+/**
+ * Structural equality for freeIndices maps. Two maps are equal iff they
+ * contain the same label set and each label's `{upper, lower}` counts
+ * match. Used by `op '+'` / `'-'` (Task 7 / Part-VII §VII.5) to enforce
+ * that all operands of a tensor sum share the same free-index signature.
+ */
+function freeIndicesEqual(a, b) {
+    if (a.size !== b.size)
+        return false;
+    for (const [label, counts] of a) {
+        const other = b.get(label);
+        if (!other)
+            return false;
+        if (other.upper !== counts.upper || other.lower !== counts.lower)
+            return false;
+    }
+    return true;
+}
+/**
+ * Human-readable summary of a freeIndices map for use in error messages.
+ * Empty map renders as `{}` so a tensor-vs-scalar mismatch is visually
+ * obvious in the thrown FreeIndexMismatchError text.
+ */
+function formatFreeIndices(m) {
+    if (m.size === 0)
+        return '{}';
+    const parts = [];
+    for (const [label, counts] of m) {
+        parts.push(`${label}:{upper:${counts.upper},lower:${counts.lower}}`);
+    }
+    return `{${parts.join(', ')}}`;
+}
+/**
+ * Infer an arg's dimension and capture its LOCAL freeIndices map. Used by
+ * `op '+'` / `'-'` (to compare maps across args) and by `op '*'` / `'/'` /
+ * `'^'` (to reject any tensor-valued operand). The arg's freeIndices are
+ * NOT merged into `ctx.freeIndices` here — the caller decides whether to
+ * merge (op '+' merges after equality check) or discard (op '*' rejects).
+ *
+ * Violations from the arg's subtree are forwarded to `ctx.violations`, so
+ * error reports stay coherent with the rest of the walker.
+ */
+function inferArgLocal(node, ctx, segment) {
+    const localFI = new Map();
+    const localCtx = {
+        path: joinPath(ctx.path, segment),
+        violations: ctx.violations,
+        freeIndices: localFI,
+    };
+    const dim = infer(node, localCtx);
+    return { dim, freeIndices: localFI };
+}
+/**
+ * Resolve a child node for `computeContraction` — returns a LOCAL
+ * `{dim, freeIndices}` result with no shared mutable state. This is the
+ * cycle-breaker and nested-safety primitive: it lets tensor-product
+ * recursion avoid touching `ctx.freeIndices` for any subtree.
+ *
+ *   - tensor-symbol → forwards to `validateTensorSymbol` (returns a local Map).
+ *   - tensor-product → recurses into `computeContraction` with this same
+ *     resolver, threading violations + path through `parentCtx` so error
+ *     reports stay informative.
+ *   - all other kinds → invoke `infer()` against a throwaway context so the
+ *     dimension is computed but no free-indices state leaks; non-tensor
+ *     nodes contribute an empty freeIndices map.
+ *
+ * Violations from non-tensor children DO get appended to `parentCtx.violations`
+ * (via the throwaway ctx's violations array, which we then splice in). This
+ * keeps error reporting equivalent to the inline-recursion shape used by
+ * the scalar `op` / `integral` / `derivative` cases.
+ */
+function resolveChildForContraction(node, parentCtx) {
+    if (node.kind === 'tensor-symbol') {
+        return validateTensorSymbol(node);
+    }
+    if (node.kind === 'metric-tensor') {
+        return validateMetricTensor(node);
+    }
+    if (node.kind === 'kronecker-delta') {
+        return validateKroneckerDelta(node);
+    }
+    if (node.kind === 'tensor-product') {
+        return computeContraction(node.args, (grandchild) => resolveChildForContraction(grandchild, parentCtx));
+    }
+    // Non-tensor child: use `infer()` for dimension only. Use a throwaway
+    // freeIndices map (discarded) but forward violations to the parent so
+    // error reports remain coherent.
+    const probe = {
+        path: parentCtx.path,
+        violations: parentCtx.violations,
+        freeIndices: new Map(),
+    };
+    const dim = infer(node, probe);
+    if (dim === null) {
+        // Surface as an error rather than silently producing a malformed
+        // ContractionResult. The probe already recorded the violation in
+        // parentCtx.violations, so the message here is the second signal.
+        // Subclass of UPTError (§14.7) so downstream consumers can
+        // discriminate UPT-source errors uniformly with `instanceof UPTError`.
+        throw new TensorProductChildInferenceError('tensor-product: a non-tensor operand failed dimension inference; ' +
+            'see ValidationResult.violations for the underlying cause.');
+    }
+    return { dim, freeIndices: probe.freeIndices };
+}
+/**
+ * Resolve a child of a tensor-partial-derivative to its local
+ * {dim, freeIndices, role?} carrier. Same shape as
+ * `resolveChildForContraction` but returns role-aware result so the
+ * pderiv validator can pass through `of.role` (Design §13 Q1).
+ */
+function resolveChildForPartialDerivative(node, parentCtx) {
+    const typed = node;
+    if (typed.kind === 'tensor-symbol') {
+        const result = validateTensorSymbol(typed);
+        return { dim: result.dim, freeIndices: result.freeIndices, role: typed.role };
+    }
+    if (typed.kind === 'metric-tensor') {
+        const result = validateMetricTensor(typed);
+        return { dim: result.dim, freeIndices: result.freeIndices };
+    }
+    if (typed.kind === 'kronecker-delta') {
+        const result = validateKroneckerDelta(typed);
+        return { dim: result.dim, freeIndices: result.freeIndices };
+    }
+    if (typed.kind === 'tensor-partial-derivative') {
+        const result = validatePartialDerivative(typed, (grandchild) => resolveChildForPartialDerivative(grandchild, parentCtx));
+        return result;
+    }
+    // For scalars / op / integral / derivative / tensor-product nodes, use
+    // inferArgLocal for dim + freeIndices, no role.
+    const probe = inferArgLocal(typed, parentCtx, '<pderiv-child>');
+    if (probe.dim === null) {
+        throw new TensorProductChildInferenceError('tensor-partial-derivative child failed dimension inference; ' +
+            'see ValidationResult.violations for cause.');
+    }
+    return { dim: probe.dim, freeIndices: probe.freeIndices };
+}
+/**
+ * Resolve a child of a covariant-derivative to its local {dim, freeIndices, role?}
+ * carrier. Same recursion pattern as resolveChildForPartialDerivative — reuses
+ * the partial-derivative resolver since the same child kinds appear.
+ */
+function resolveChildForCovariantDerivative(node, parentCtx) {
+    return resolveChildForPartialDerivative(node, parentCtx);
+}
+/**
+ * Recursive dimension inference. On any sub-expression error we record a
+ * violation, return `null`, and let parent ops propagate the null up.
+ */
+function infer(node, ctx) {
+    switch (node.kind) {
+        case 'symbol':
+            return node.dim;
+        case 'op': {
+            if (node.op === '^') {
+                // a^n — base is an arbitrary expression; exponent must be a numeric symbol
+                // (we read its `name` as a number). Non-numeric exponents would require
+                // the base to be dimensionless; we don't support that yet.
+                if (node.args.length !== 2) {
+                    ctx.violations.push({
+                        location: ctx.path,
+                        expected: DIMENSIONLESS,
+                        actual: DIMENSIONLESS,
+                        note: `^ requires exactly 2 args (base, exponent), got ${node.args.length}`,
+                    });
+                    return null;
+                }
+                const [baseNode, expNode] = node.args;
+                // Per Part-VII §VII.5: '^' is a scalar operator. Capture the base's
+                // local freeIndices and reject if non-empty (tensor base).
+                const baseProbe = inferArgLocal(baseNode, ctx, 'args[0]');
+                const baseDim = baseProbe.dim;
+                if (baseDim === null)
+                    return null;
+                if (baseProbe.freeIndices.size > 0) {
+                    throw new TensorInScalarOpError('^');
+                }
+                if (!expNode || expNode.kind !== 'symbol') {
+                    // Try to recover the exponent expression's inferred dim so the
+                    // violation is informative (expected ≠ actual). If inference itself
+                    // fails, fall back to DIMENSIONLESS — but the note still carries
+                    // the structural reason, so a downstream consumer keying on
+                    // `equals(expected,actual)` will still see the mismatch in the
+                    // generic case.
+                    let actualDim = DIMENSIONLESS;
+                    if (expNode) {
+                        // Use a throwaway local violation channel so a deeper
+                        // inference error doesn't double-report — we only want the
+                        // dim if it can be inferred cleanly.
+                        const probeCtx = { path: joinPath(ctx.path, 'args[1]'), violations: [], freeIndices: new Map() };
+                        const probed = infer(expNode, probeCtx);
+                        if (probed !== null && probed !== undefined && probeCtx.violations.length === 0) {
+                            actualDim = probed;
+                        }
+                    }
+                    ctx.violations.push({
+                        location: joinPath(ctx.path, 'args[1]'),
+                        expected: DIMENSIONLESS,
+                        actual: actualDim,
+                        note: '^ exponent must be a numeric literal symbol in this MVP',
+                    });
+                    return null;
+                }
+                const n = Number(expNode.name);
+                if (!Number.isFinite(n)) {
+                    ctx.violations.push({
+                        location: joinPath(ctx.path, 'args[1]'),
+                        expected: DIMENSIONLESS,
+                        actual: expNode.dim,
+                        note: `^ exponent "${expNode.name}" is not a finite number`,
+                    });
+                    return null;
+                }
+                return power(baseDim, n);
+            }
+            if (node.op === '*' || node.op === '/') {
+                if (node.args.length === 0)
+                    return DIMENSIONLESS;
+                // Per Part-VII §VII.5: '*' / '/' are scalar-only operators. Any
+                // arg with non-empty freeIndices is rejected with
+                // TensorInScalarOpError; users must use 'tensor-product' for
+                // tensor multiplication. Scalar-only operand lists retain the
+                // existing dim-accumulation behavior.
+                let acc = null;
+                for (let i = 0; i < node.args.length; i++) {
+                    const probe = inferArgLocal(node.args[i], ctx, `args[${i}]`);
+                    const childDim = probe.dim;
+                    if (childDim === null)
+                        return null;
+                    if (probe.freeIndices.size > 0) {
+                        throw new TensorInScalarOpError(node.op);
+                    }
+                    if (i === 0)
+                        acc = childDim;
+                    else if (node.op === '*')
+                        acc = multiply(acc, childDim);
+                    else
+                        acc = divide(acc, childDim);
+                }
+                return acc;
+            }
+            // '+' or '-' — all operands must share a common dimension AND
+            // (per Part-VII §VII.5) the same freeIndices signature. Mismatched
+            // free-index maps raise FreeIndexMismatchError; this catches both
+            // tensor + scalar (one map non-empty, one empty) and tensor + tensor
+            // with differing variance / labels / counts.
+            if (node.args.length === 0)
+                return DIMENSIONLESS;
+            let acc = null;
+            let firstFI = null;
+            for (let i = 0; i < node.args.length; i++) {
+                const probe = inferArgLocal(node.args[i], ctx, `args[${i}]`);
+                const childDim = probe.dim;
+                if (childDim === null)
+                    return null;
+                if (i === 0) {
+                    acc = childDim;
+                    firstFI = probe.freeIndices;
+                }
+                else {
+                    if (!freeIndicesEqual(firstFI, probe.freeIndices)) {
+                        throw new FreeIndexMismatchError(`op '${node.op}' args have mismatched freeIndices: ` +
+                            `args[0] has ${formatFreeIndices(firstFI)} but ` +
+                            `args[${i}] has ${formatFreeIndices(probe.freeIndices)}. ` +
+                            `All operands of a tensor sum must share the same free-index signature.`);
+                    }
+                    try {
+                        acc = node.op === '+' ? add(acc, childDim) : subtract(acc, childDim);
+                    }
+                    catch (err) {
+                        if (err instanceof DimensionMismatchError) {
+                            ctx.violations.push({
+                                location: joinPath(ctx.path, `args[${i}]`),
+                                expected: acc,
+                                actual: childDim,
+                                note: `Cannot ${node.op === '+' ? 'add' : 'subtract'} ${format(childDim)} with running ${format(acc)} (dimension mismatch).`,
+                            });
+                            return null;
+                        }
+                        throw err;
+                    }
+                }
+            }
+            // Propagate the (shared) freeIndices signature to the parent ctx so
+            // a tensor-sum can flow into another tensor-aware operator above.
+            if (firstFI !== null) {
+                for (const [label, counts] of firstFI) {
+                    ctx.freeIndices.set(label, counts);
+                }
+            }
+            return acc;
+        }
+        case 'integral': {
+            // ∫ f dx — result has dim(f) * dim(x).
+            // Guard against malformed nodes loaded from JSON / hand-built test
+            // fixtures that omit `integrand` or `over` (TypeScript requires them
+            // but `as unknown as ExprNode` casts can bypass the check).
+            if (!node.integrand || !node.over) {
+                ctx.violations.push({
+                    location: ctx.path,
+                    expected: DIMENSIONLESS,
+                    actual: DIMENSIONLESS,
+                    note: `integral requires both 'integrand' and 'over' fields`,
+                });
+                return null;
+            }
+            // v0.3.1 audit fix: shallow `{ ...ctx, path }` shared ctx.freeIndices
+            // (a Map, copied by reference), so a tensor-valued integrand silently
+            // leaked its free indices into the parent accumulator. Use
+            // inferArgLocal() to give each child a fresh local freeIndices Map.
+            // v0.3.0 has no tensor-integral semantics; the operator is dimensional
+            // scalar and child free-indices stay local.
+            const fProbe = inferArgLocal(node.integrand, ctx, 'integrand');
+            const xProbe = inferArgLocal(node.over, ctx, 'over');
+            if (fProbe.dim === null || xProbe.dim === null)
+                return null;
+            return multiply(fProbe.dim, xProbe.dim);
+        }
+        case 'derivative': {
+            // d f / d x — result has dim(f) / dim(x).
+            // Same shape guard as `integral` above.
+            if (!node.of || !node.wrt) {
+                ctx.violations.push({
+                    location: ctx.path,
+                    expected: DIMENSIONLESS,
+                    actual: DIMENSIONLESS,
+                    note: `derivative requires both 'of' and 'wrt' fields`,
+                });
+                return null;
+            }
+            // v0.3.1 audit fix: same shallow-spread ctx.freeIndices leak as the
+            // integral case above. Use inferArgLocal() so a tensor-valued `of`
+            // doesn't bleed its free indices into the parent. v0.3.0 has no
+            // tensor-derivative semantics (tensor-partial-derivative is the
+            // dedicated node for that); this `derivative` node stays dimensional
+            // scalar.
+            const fProbe = inferArgLocal(node.of, ctx, 'of');
+            const xProbe = inferArgLocal(node.wrt, ctx, 'wrt');
+            if (fProbe.dim === null || xProbe.dim === null)
+                return null;
+            return divide(fProbe.dim, xProbe.dim);
+        }
+        case 'tensor-symbol': {
+            // Real validation per Part-VII §VII.4. Builds the free-indices map
+            // from declared indices and merges into the context accumulator so
+            // the root validate() call sees them in its ValidationResult.
+            const { dim, freeIndices } = validateTensorSymbol(node);
+            for (const [label, counts] of freeIndices) {
+                ctx.freeIndices.set(label, counts);
+            }
+            return dim;
+        }
+        case 'tensor-product': {
+            // Task 6 — Einstein contraction. We delegate the algebra to the
+            // pure `computeContraction(args, validateChild)` helper in tensor.ts
+            // and inject `validateChild` to break the module cycle that would
+            // otherwise arise from tensor.ts importing the validator.
+            //
+            // CRITICAL: every nested call uses *local* freeIndices maps; we never
+            // mutate ctx.freeIndices from inside the recursion. Only the outer-
+            // most tensor-product case merges its final residual map into the
+            // shared ctx.freeIndices accumulator. This is what makes
+            // (A·B)·C-style nested products correct: the inner product's dummy
+            // indices stay scoped to the inner call.
+            try {
+                const result = computeContraction(node.args, (child) => resolveChildForContraction(child, ctx));
+                for (const [label, counts] of result.freeIndices) {
+                    ctx.freeIndices.set(label, counts);
+                }
+                return result.dim;
+            }
+            catch (err) {
+                // Errors from the contraction (IndexLabelCollisionError,
+                // VarianceMismatchError) are part of the public surface — propagate
+                // them so callers / tests can catch by type.
+                throw err;
+            }
+        }
+        case 'metric-tensor': {
+            const { dim, freeIndices } = validateMetricTensor(node);
+            for (const [label, counts] of freeIndices) {
+                ctx.freeIndices.set(label, counts);
+            }
+            return dim;
+        }
+        case 'kronecker-delta': {
+            const { dim, freeIndices } = validateKroneckerDelta(node);
+            for (const [label, counts] of freeIndices) {
+                ctx.freeIndices.set(label, counts);
+            }
+            return dim;
+        }
+        case 'tensor-partial-derivative': {
+            const result = validatePartialDerivative(node, (child) => resolveChildForPartialDerivative(child, ctx));
+            for (const [label, counts] of result.freeIndices) {
+                ctx.freeIndices.set(label, counts);
+            }
+            return result.dim;
+        }
+        case 'covariant-derivative': {
+            const result = validateCovariantDerivative(node, (child) => resolveChildForCovariantDerivative(child, ctx));
+            for (const [label, counts] of result.freeIndices) {
+                ctx.freeIndices.set(label, counts);
+            }
+            return result.dim;
+        }
+        default: {
+            // Exhaustiveness guard: if a future ExprNode arm is added but not
+            // handled here, this branch records a shape violation rather than
+            // silently returning `undefined` (which validate() would coerce to
+            // `ok: true, inferredDimension: undefined` — see silent-failure F1).
+            const _exhaustive = node;
+            void _exhaustive;
+            const kind = node?.kind;
+            ctx.violations.push({
+                location: ctx.path,
+                expected: DIMENSIONLESS,
+                actual: DIMENSIONLESS,
+                note: `Validator: unknown ExprNode.kind ${JSON.stringify(kind)}`,
+            });
+            return null;
+        }
+    }
+}
+/**
+ * A violation set passes iff it contains no error-severity violation.
+ * Violations with `severity` absent default to 'error' (v0.3.5 §4).
+ */
+function okFromViolations(violations) {
+    return !violations.some((v) => (v.severity ?? 'error') === 'error');
+}
+export function validate(expr) {
+    const ctx = { path: '', violations: [], freeIndices: new Map() };
+    const dim = infer(expr, ctx);
+    return {
+        ok: okFromViolations(ctx.violations) && dim !== null && dim !== undefined,
+        inferredDimension: dim ?? null,
+        freeIndices: ctx.freeIndices,
+        violations: ctx.violations,
+    };
+}
+/**
+ * Opt-in symbolic InverseMetricInconsistencyWarning check. Given a
+ * lower/upper metric pair, returns a deduplicated (at most one) warning-
+ * severity Violation set. v0.3.5 §7. (Deliberately not folded into
+ * validate() — that is the hot path for the whole test suite.)
+ */
+export function validateInverseMetricPair(gLower, gUpper) {
+    const note = checkInverseMetricStructure(gLower, gUpper);
+    if (note === null)
+        return [];
+    return [{
+            location: `${gLower.name}/${gUpper.name}`,
+            expected: gLower.dim,
+            actual: gUpper.dim,
+            note,
+            severity: 'warning',
+        }];
+}
+export function validateEquation(lhs, rhs) {
+    const lhsCtx = { path: 'lhs', violations: [], freeIndices: new Map() };
+    const rhsCtx = { path: 'rhs', violations: [], freeIndices: new Map() };
+    const lhsDim = infer(lhs, lhsCtx);
+    const rhsDim = infer(rhs, rhsCtx);
+    const violations = [...lhsCtx.violations, ...rhsCtx.violations];
+    if (lhsDim !== null && rhsDim !== null && !equals(lhsDim, rhsDim)) {
+        violations.push({
+            location: '<equation>',
+            expected: lhsDim,
+            actual: rhsDim,
+            note: `LHS has ${format(lhsDim)} but RHS has ${format(rhsDim)} — equation is not dimensionally homogeneous.`,
+        });
+    }
+    return {
+        ok: okFromViolations(violations) && lhsDim !== null && rhsDim !== null,
+        inferredDimension: lhsDim, // by convention, LHS dimension is the canonical answer
+        // By convention LHS free-indices map is the canonical answer (mirrors
+        // inferredDimension's LHS bias). Equation-level free-index agreement
+        // checks are deferred to Task 7 (op-tensor boundary rules).
+        freeIndices: lhsCtx.freeIndices,
+        violations,
+    };
+}
+//# sourceMappingURL=validator.js.map

package/dist/dimensional/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/dimensional/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAEL,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,GACjC,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAOvE,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAwEzE,SAAS,QAAQ,CAAC,IAAY,EAAE,OAAe;IAC7C,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC;AACtD,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CACvB,CAAgD,EAChD,CAAgD;IAEhD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,CAAgD;IACzE,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,WAAW,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACjC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,aAAa,CACpB,IAAc,EACd,GAAiB,EACjB,OAAe;IAEf,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4C,CAAC;IACpE,MAAM,QAAQ,GAAiB;QAC7B,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC;QACjC,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,WAAW,EAAE,OAAO;KACrB,CAAC;IACF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AACvC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,0BAA0B,CACjC,IAAc,EACd,SAAuB;IAEvB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAClD,0BAA0B,CAAC,UAAU,EAAE,SAAS,CAAC,CAClD,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,sEAAsE;IACtE,iCAAiC;IACjC,MAAM,KAAK,GAAiB;QAC1B,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;IACF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,2DAA2D;QAC3D,uEAAuE;QACvE,MAAM,IAAI,gCAAgC,CACxC,mEAAmE;YACjE,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;AACjD,CAAC;AAED;;;;;GAKG;AACH,SAAS,gCAAgC,CACvC,IAAa,EACb,SAAuB;IAEvB,MAAM,KAAK,GAAG,IAAgB,CAAC;IAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,2BAA2B,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,EAAE,CAC7D,gCAAgC,CAAC,UAAU,EAAE,SAAS,CAAC,CACxD,CAAC;QACF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,uEAAuE;IACvE,gDAAgD;IAChD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,gCAAgC,CACxC,8DAA8D;YAC5D,4CAA4C,CAC/C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC;AAC5D,CAAC;AAED;;;;GAIG;AACH,SAAS,kCAAkC,CACzC,IAAa,EACb,SAAuB;IAEvB,OAAO,gCAAgC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,SAAS,KAAK,CAAC,IAAc,EAAE,GAAiB;IAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,GAAG,CAAC;QAElB,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACpB,2EAA2E;gBAC3E,wEAAwE;gBACxE,2DAA2D;gBAC3D,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;wBAClB,QAAQ,EAAE,GAAG,CAAC,IAAI;wBAClB,QAAQ,EAAE,aAAa;wBACvB,MAAM,EAAE,aAAa;wBACrB,IAAI,EAAE,mDAAmD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;qBAC5E,CAAC,CAAC;oBACH,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;gBACtC,oEAAoE;gBACpE,2DAA2D;gBAC3D,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC;gBAC9B,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAClC,IAAI,SAAS,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBACnC,MAAM,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC;gBACvC,CAAC;gBACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1C,+DAA+D;oBAC/D,oEAAoE;oBACpE,iEAAiE;oBACjE,4DAA4D;oBAC5D,+DAA+D;oBAC/D,gBAAgB;oBAChB,IAAI,SAAS,GAAc,aAAa,CAAC;oBACzC,IAAI,OAAO,EAAE,CAAC;wBACZ,sDAAsD;wBACtD,2DAA2D;wBAC3D,qCAAqC;wBACrC,MAAM,QAAQ,GAAiB,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;wBAC/G,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;wBACxC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;4BAChF,SAAS,GAAG,MAAM,CAAC;wBACrB,CAAC;oBACH,CAAC;oBACD,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;wBAClB,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;wBACvC,QAAQ,EAAE,aAAa;wBACvB,MAAM,EAAE,SAAS;wBACjB,IAAI,EAAE,yDAAyD;qBAChE,CAAC,CAAC;oBACH,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxB,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;wBAClB,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;wBACvC,QAAQ,EAAE,aAAa;wBACvB,MAAM,EAAE,OAAO,CAAC,GAAG;wBACnB,IAAI,EAAE,eAAe,OAAO,CAAC,IAAI,0BAA0B;qBAC5D,CAAC,CAAC;oBACH,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC3B,CAAC;YAED,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;gBACvC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,aAAa,CAAC;gBACjD,gEAAgE;gBAChE,kDAAkD;gBAClD,6DAA6D;gBAC7D,8DAA8D;gBAC9D,sCAAsC;gBACtC,IAAI,GAAG,GAAqB,IAAI,CAAC;gBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;oBAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC;oBAC3B,IAAI,QAAQ,KAAK,IAAI;wBAAE,OAAO,IAAI,CAAC;oBACnC,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;wBAC/B,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC3C,CAAC;oBACD,IAAI,CAAC,KAAK,CAAC;wBAAE,GAAG,GAAG,QAAQ,CAAC;yBACvB,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;wBAAE,GAAG,GAAG,QAAQ,CAAC,GAAI,EAAE,QAAQ,CAAC,CAAC;;wBACpD,GAAG,GAAG,MAAM,CAAC,GAAI,EAAE,QAAQ,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC;YAED,8DAA8D;YAC9D,mEAAmE;YACnE,kEAAkE;YAClE,qEAAqE;YACrE,6CAA6C;YAC7C,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,aAAa,CAAC;YACjD,IAAI,GAAG,GAAqB,IAAI,CAAC;YACjC,IAAI,OAAO,GAAyD,IAAI,CAAC;YACzE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC7D,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC;gBAC3B,IAAI,QAAQ,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBACnC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACZ,GAAG,GAAG,QAAQ,CAAC;oBACf,OAAO,GAAG,KAAK,CAAC,WAAW,CAAC;gBAC9B,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,gBAAgB,CAAC,OAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;wBACnD,MAAM,IAAI,sBAAsB,CAC9B,OAAO,IAAI,CAAC,EAAE,sCAAsC;4BAClD,eAAe,iBAAiB,CAAC,OAAQ,CAAC,OAAO;4BACjD,QAAQ,CAAC,SAAS,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI;4BAC1D,wEAAwE,CAC3E,CAAC;oBACJ,CAAC;oBACD,IAAI,CAAC;wBACH,GAAG,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAI,EAAE,QAAQ,CAAC,CAAC;oBACzE,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,IAAI,GAAG,YAAY,sBAAsB,EAAE,CAAC;4BAC1C,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;gCAClB,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC;gCAC1C,QAAQ,EAAE,GAAI;gCACd,MAAM,EAAE,QAAQ;gCAChB,IAAI,EAAE,UAAU,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,CAAC,iBAAiB,MAAM,CAAC,GAAI,CAAC,wBAAwB;6BAC9H,CAAC,CAAC;4BACH,OAAO,IAAI,CAAC;wBACd,CAAC;wBACD,MAAM,GAAG,CAAC;oBACZ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,oEAAoE;YACpE,kEAAkE;YAClE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;oBACtC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,uCAAuC;YACvC,mEAAmE;YACnE,qEAAqE;YACrE,4DAA4D;YAC5D,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;oBAClB,QAAQ,EAAE,GAAG,CAAC,IAAI;oBAClB,QAAQ,EAAE,aAAa;oBACvB,MAAM,EAAE,aAAa;oBACrB,IAAI,EAAE,sDAAsD;iBAC7D,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,sEAAsE;YACtE,sEAAsE;YACtE,2DAA2D;YAC3D,oEAAoE;YACpE,uEAAuE;YACvE,4CAA4C;YAC5C,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAC/D,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACrD,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC5D,OAAO,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1C,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,0CAA0C;YAC1C,wCAAwC;YACxC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;oBAClB,QAAQ,EAAE,GAAG,CAAC,IAAI;oBAClB,QAAQ,EAAE,aAAa;oBACvB,MAAM,EAAE,aAAa;oBACrB,IAAI,EAAE,gDAAgD;iBACvD,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,oEAAoE;YACpE,mEAAmE;YACnE,gEAAgE;YAChE,gEAAgE;YAChE,qEAAqE;YACrE,UAAU;YACV,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACnD,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QACxC,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,mEAAmE;YACnE,mEAAmE;YACnE,8DAA8D;YAC9D,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACxD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC1C,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,gEAAgE;YAChE,qEAAqE;YACrE,kEAAkE;YAClE,0DAA0D;YAC1D,EAAE;YACF,sEAAsE;YACtE,oEAAoE;YACpE,kEAAkE;YAClE,yDAAyD;YACzD,mEAAmE;YACnE,yCAAyC;YACzC,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CACrD,0BAA0B,CAAC,KAAK,EAAE,GAAG,CAAC,CACvC,CAAC;gBACF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBACjD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACrC,CAAC;gBACD,OAAO,MAAM,CAAC,GAAG,CAAC;YACpB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,yDAAyD;gBACzD,oEAAoE;gBACpE,6CAA6C;gBAC7C,MAAM,GAAG,CAAC;YACZ,CAAC;QACH,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACxD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC1C,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;YAC1D,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC1C,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,KAAK,2BAA2B,CAAC,CAAC,CAAC;YACjC,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CACvD,gCAAgC,CAAC,KAAK,EAAE,GAAG,CAAC,CAC7C,CAAC;YACF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACjD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QAED,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CACzD,kCAAkC,CAAC,KAAK,EAAE,GAAG,CAAC,CAC/C,CAAC;YACF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACjD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,kEAAkE;YAClE,kEAAkE;YAClE,mEAAmE;YACnE,qEAAqE;YACrE,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,GAAI,IAA2B,EAAE,IAAI,CAAC;YAChD,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;gBAClB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,aAAa;gBACvB,MAAM,EAAE,aAAa;gBACrB,IAAI,EAAE,oCAAoC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;aACjE,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,UAAoC;IAC5D,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAc;IACrC,MAAM,GAAG,GAAiB,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC/E,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7B,OAAO;QACL,EAAE,EAAE,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;QACzE,iBAAiB,EAAE,GAAG,IAAI,IAAI;QAC9B,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;KAC3B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAwB,EACxB,MAAwB;IAExB,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC7B,OAAO,CAAC;YACN,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;YACzC,QAAQ,EAAE,MAAM,CAAC,GAAG;YACpB,MAAM,EAAE,MAAM,CAAC,GAAG;YAClB,IAAI;YACJ,QAAQ,EAAE,SAAS;SACpB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAa,EAAE,GAAa;IAC3D,MAAM,MAAM,GAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACrF,MAAM,MAAM,GAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACrF,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IAEhE,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAClE,UAAU,CAAC,IAAI,CAAC;YACd,QAAQ,EAAE,YAAY;YACtB,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,MAAM;YACd,IAAI,EAAE,WAAW,MAAM,CAAC,MAAM,CAAC,gBAAgB,MAAM,CAAC,MAAM,CAAC,+CAA+C;SAC7G,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,EAAE,EAAE,gBAAgB,CAAC,UAAU,CAAC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;QACtE,iBAAiB,EAAE,MAAM,EAAE,uDAAuD;QAClF,sEAAsE;QACtE,qEAAqE;QACrE,4DAA4D;QAC5D,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Universal Physics Tensor Framework
+ *
+ * Computational framework for exploring unified physics through tensor formalism
+ *
+ * @packageDocumentation
+ */
+export { UniversalTensor } from './core/tensor.js';
+export type { TensorConfig, TensorIndices, PhysicalLaw, BridgeEquation, EmergentPhenomenon, PhysicalScale, Force, Symmetry, InformationMeasure, } from './core/types.js';
+export { PhysicalConstants } from './core/types.js';
+export { BRIDGE_EQUATIONS } from './bridges/index.js';
+export type { BridgeEquationEntry, BridgeEquationStatus, BridgeIssueSeverity, BridgeIssueFixable, KnownIssue, } from './bridges/index.js';
+export { evaluateGravitationalLensing, type GravitationalLensingInputs, type GravitationalLensingResult, evaluatePerihelionPrecession, type PerihelionPrecessionInputs, type PerihelionPrecessionResult, } from './bridges/index.js';
+export { christoffel } from './dimensional/connection.js';
+export type { CovariantDerivativeNode } from './dimensional/validator.js';
+export { integrateGeodesic, type GeodesicIntegratorInputs, type GeodesicIntegratorResult, } from './numerical/geodesic-integrator.js';
+export type { Dimension } from './dimensional/types.js';
+export { DIMENSIONLESS, LENGTH, AREA, TIME, FREQUENCY, MASS, VELOCITY, ACCELERATION, FORCE, ENERGY, POWER, ACTION, TEMPERATURE, ENTROPY, CHARGE, } from './dimensional/types.js';
+export { multiply, divide, power, add, subtract, equals, format, DimensionMismatchError, } from './dimensional/algebra.js';
+export type { ExprNode, ValidationResult, Violation } from './dimensional/validator.js';
+export { validate, validateEquation, validateInverseMetricPair } from './dimensional/validator.js';
+export { inferDimensionForBridge } from './dimensional/bridge-check.js';
+export { evaluateNumerical, evaluateNumericalRaw, evaluateMetricInverse, Float64ReferenceEngine, getActiveEngine, setActiveEngine, NumericalBackendError, DuplicateCoordinateWarning, EngineCapabilityError, hasAutogradSupport, evaluateBE37CovariantEikonalNumerical, } from './numerical/index.js';
+export type { NumericalResult, NumericalRawResult, EvaluateOptions, NumericalInputs, TensorEngine, EngineTensor, EinsumSpec, NestedArray, GridField, ForwardGradResult, ReverseGradResult, } from './numerical/index.js';
+//# sourceMappingURL=index.d.ts.map

package/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,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,YAAY,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,GACnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAOpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,YAAY,EACV,mBAAmB,EACnB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,GACX,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAC/B,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,oBAAoB,CAAC;AAM5B,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,YAAY,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAG1E,OAAO,EACL,iBAAiB,EACjB,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,GAC9B,MAAM,oCAAoC,CAAC;AAM5C,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACxF,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAOxE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,qBAAqB,EAErB,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,qCAAqC,GACtC,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,WAAW,EACX,SAAS,EAET,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,sBAAsB,CAAC"}

package/dist/index.js

@@ -0,0 +1,37 @@
+/**
+ * Universal Physics Tensor Framework
+ *
+ * Computational framework for exploring unified physics through tensor formalism
+ *
+ * @packageDocumentation
+ */
+export { UniversalTensor } from './core/tensor.js';
+export { PhysicalConstants } from './core/types.js';
+// Machine-readable bridge equation index — the 40+ catalogued equations.
+// `BridgeEquationEntry` is intentionally a different shape from the runtime
+// `BridgeEquation` interface above; the entry captures spec-level metadata
+// (status, known issues, references, dependencies), while `BridgeEquation`
+// describes a runtime bridge between two tensor regimes.
+export { BRIDGE_EQUATIONS } from './bridges/index.js';
+// v0.4.0 bridge implementations (evaluator functions beyond the spec catalog)
+export { evaluateGravitationalLensing, evaluatePerihelionPrecession, } from './bridges/index.js';
+// v0.4.0 connection layer — Christoffel formula builder and covariant derivative
+// AST node type. `christoffel` is public because bridge modules and downstream
+// callers compose Γ trees directly; `CovariantDerivativeNode` is the structural
+// type for the new ∇_μ AST kind.
+export { christoffel } from './dimensional/connection.js';
+// v0.4.0 geodesic integrator (RK4 solver — headline feature of v0.4.0)
+export { integrateGeodesic, } from './numerical/geodesic-integrator.js';
+export { DIMENSIONLESS, LENGTH, AREA, TIME, FREQUENCY, MASS, VELOCITY, ACCELERATION, FORCE, ENERGY, POWER, ACTION, TEMPERATURE, ENTROPY, CHARGE, } from './dimensional/types.js';
+export { multiply, divide, power, add, subtract, equals, format, DimensionMismatchError, } from './dimensional/algebra.js';
+export { validate, validateEquation, validateInverseMetricPair } from './dimensional/validator.js';
+export { inferDimensionForBridge } from './dimensional/bridge-check.js';
+// v0.3.5 numerical-contraction backend. See docs/planning/v0.3.5-Design.md.
+// Every symbol below is `@public` — the consumer-facing (TensorJS) surface.
+// `MathTSEngine` is intentionally NOT re-exported here: it lives behind the
+// `@danielsimonjr/mathts-tensor` optionalDependency and is reachable only via
+// the `universal-physics-tensor/numerical/mathts-engine` exports subpath.
+export { evaluateNumerical, evaluateNumericalRaw, evaluateMetricInverse, Float64ReferenceEngine, getActiveEngine, setActiveEngine, NumericalBackendError, 
+// v0.4.0 additions to the numerical surface
+DuplicateCoordinateWarning, EngineCapabilityError, hasAutogradSupport, evaluateBE37CovariantEikonalNumerical, } from './numerical/index.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAYnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD,yEAAyE;AACzE,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAStD,8EAA8E;AAC9E,OAAO,EACL,4BAA4B,EAG5B,4BAA4B,GAG7B,MAAM,oBAAoB,CAAC;AAE5B,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAK1D,uEAAuE;AACvE,OAAO,EACL,iBAAiB,GAGlB,MAAM,oCAAoC,CAAC;AAO5C,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAC9E,0EAA0E;AAC1E,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,qBAAqB;AACrB,4CAA4C;AAC5C,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,qCAAqC,GACtC,MAAM,sBAAsB,CAAC"}