universal-physics-tensor 0.4.5

package/dist/dimensional/constants.js

@@ -0,0 +1,31 @@
+/**
+ * SI dimensional signatures of fundamental physical constants.
+ *
+ * These are *dimensions only* — numerical values for the constants themselves
+ * live in `src/core/types.ts` (`PhysicalConstants`). The split is intentional:
+ *   - `core/types.ts` owns numeric values (CODATA 2018) for runtime computation.
+ *   - this module owns the SI dimensional signatures for the validator.
+ *
+ * Sources for the dimensional signatures:
+ *   - CODATA 2018 / NIST CODATA values: https://physics.nist.gov/cuu/Constants/
+ *   - BIPM SI Brochure 9th ed. (2019)
+ *   - Planck-unit derivations: Planck (1899); see Wald, "General Relativity"
+ *     (1984), §G for the canonical Planck-length / Planck-time relations.
+ *
+ * @module dimensional/constants
+ */
+import { LENGTH, VELOCITY, ACTION, CHARGE, } from './types.js';
+/** Reduced Planck constant ℏ — action [M L^2 T^-1]. */
+export const hbar = ACTION;
+/** Speed of light c — velocity [L T^-1]. */
+export const c = VELOCITY;
+/** Newton's gravitational constant G — [L^3 M^-1 T^-2]. */
+export const G = { L: 3, M: -1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
+/** Boltzmann constant k_B — energy / temperature [M L^2 T^-2 Θ^-1]. */
+export const k_B = { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 };
+/** Elementary charge e — [T I] (coulombs). */
+export const e = CHARGE;
+// --- Planck-unit shorthand (SI dimensions; numerical values not stored here). ---
+/** Planck length ℓ_P — [L]. */
+export const l_P = LENGTH;
+//# sourceMappingURL=constants.js.map

package/dist/dimensional/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/dimensional/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAEL,MAAM,EACN,QAAQ,EACR,MAAM,EACN,MAAM,GACP,MAAM,YAAY,CAAC;AAEpB,uDAAuD;AACvD,MAAM,CAAC,MAAM,IAAI,GAAc,MAAM,CAAC;AAEtC,4CAA4C;AAC5C,MAAM,CAAC,MAAM,CAAC,GAAc,QAAQ,CAAC;AAErC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,CAAC,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE/E,uEAAuE;AACvE,MAAM,CAAC,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEjF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,CAAC,GAAc,MAAM,CAAC;AAEnC,mFAAmF;AAEnF,+BAA+B;AAC/B,MAAM,CAAC,MAAM,GAAG,GAAc,MAAM,CAAC"}

package/dist/dimensional/errors.d.ts

@@ -0,0 +1,161 @@
+/**
+ * UPT error hierarchy. All UPT-source errors subclass UPTError so
+ * downstream consumers (mathjs, threejs, TensorJS) can discriminate
+ * with `err instanceof UPTError`.
+ *
+ * @module dimensional/errors
+ */
+import { Dimension } from './types.js';
+/** Base class for all UPT-source errors. */
+export declare class UPTError extends Error {
+    constructor(message: string);
+}
+/**
+ * Thrown by add/sub and equation-level checks when dimensions disagree.
+ * (Moved from src/dimensional/algebra.ts as part of the v0.2.0 UPTError
+ * refactor. Behavior unchanged.)
+ */
+export declare class DimensionMismatchError extends UPTError {
+    readonly expected: Dimension;
+    readonly actual: Dimension;
+    constructor(message: string, expected: Dimension, actual: Dimension);
+}
+/**
+ * Thrown when a tensor-symbol's indices list contains the same label
+ * more than once (e.g., T^μ_μ_μ). Per Part-VII §VII.4.
+ *
+ * NOTE: this error fires on DECLARATION-TIME duplicates within a single
+ * tensor-symbol's indices list. Those indices are *free*, not "dummy"
+ * (a dummy index in tensor calculus is one that is summed over). The
+ * earlier name `RepeatedDummyLabelError` was a misnomer; that deprecated
+ * alias was removed in v0.4.5.
+ */
+export declare class DuplicateIndexLabelError extends UPTError {
+    readonly tensorName: string;
+    readonly label: string;
+    constructor(tensorName: string, label: string);
+}
+/**
+ * Thrown when an index label appears more than twice across a
+ * tensor-product's operands. Einstein contraction requires exactly two
+ * occurrences (one upper + one lower) per dummy label. Per Part-VII §VII.4.
+ */
+export declare class IndexLabelCollisionError extends UPTError {
+    readonly label: string;
+    readonly totalCount: number;
+    /**
+     * Tensor names that contributed occurrences of the colliding label,
+     * if the caller has them available. May be undefined for callers that
+     * don't track per-operand provenance.
+     */
+    readonly sources?: ReadonlyArray<string>;
+    constructor(label: string, totalCount: number, sources?: ReadonlyArray<string>);
+}
+/**
+ * Thrown when an index label appears twice in a tensor-product but both
+ * occurrences share the same variance (both upper or both lower). v0.2.0
+ * has no metric tensor available to raise/lower indices, so such a
+ * contraction is rejected at validation time. Per Part-VII §VII.4.
+ */
+export declare class VarianceMismatchError extends UPTError {
+    readonly label: string;
+    readonly variance: 'upper' | 'lower';
+    constructor(label: string, variance: 'upper' | 'lower');
+}
+/**
+ * Thrown by `op '*'` / `'/'` / `'^'` when an operand carries non-empty
+ * freeIndices. Scalar operators in v0.2.0 are strict: any tensor-valued
+ * operand must instead pass through `tensor-product`. Per Part-VII §VII.5
+ * (op-tensor boundary rules).
+ */
+export declare class TensorInScalarOpError extends UPTError {
+    readonly op: string;
+    constructor(op: string);
+}
+/**
+ * Thrown by `op '+'` / `'-'` when the operand freeIndices maps differ.
+ * Addition / subtraction across tensors requires identical free-index
+ * signatures (same labels, same per-label upper/lower counts). Per
+ * Part-VII §VII.5.
+ */
+export declare class FreeIndexMismatchError extends UPTError {
+    constructor(message: string);
+}
+/**
+ * Thrown by the validator's tensor-product child resolver when a non-tensor
+ * operand to a `tensor-product` fails dimension inference. Subclassing
+ * UPTError (rather than throwing a plain `Error`) preserves the §14.7
+ * forward-compat invariant that downstream consumers can discriminate
+ * UPT-source errors with `err instanceof UPTError`.
+ */
+export declare class TensorProductChildInferenceError extends UPTError {
+    constructor(message: string);
+}
+/**
+ * Thrown when a `metric-tensor` node has rank other than 2. Per
+ * Part-VIII §VIII.2 (metric-tensor-rank-2-only TENSOR-RULE). The metric
+ * is fundamentally a rank-2 object in v0.3.0; higher-rank generalizations
+ * are out of scope.
+ */
+export declare class InvalidMetricRankError extends UPTError {
+    readonly tensorName: string;
+    readonly actualRank: number;
+    constructor(tensorName: string, actualRank: number);
+}
+/**
+ * Thrown when a `metric-tensor` has mixed-variance indices, an empty
+ * signature, an invalid signature string, or other structural problem
+ * orthogonal to rank. Per Part-VIII §VIII.2 and §VIII.5 (raise/lower
+ * variance requirements).
+ */
+export declare class MetricSignatureError extends UPTError {
+    readonly tensorName: string;
+    readonly reason: string;
+    constructor(tensorName: string, reason: string);
+}
+/**
+ * Thrown when a `kronecker-delta` node has rank other than 2.
+ * Per Part-VIII §VIII.3.
+ */
+export declare class InvalidKroneckerRankError extends UPTError {
+    readonly actualRank: number;
+    constructor(actualRank: number);
+}
+/**
+ * Thrown when a `kronecker-delta`'s two indices share the same variance
+ * (both upper or both lower). Per Part-VIII §VIII.3, the canonical
+ * δ^μ_ν requires mixed variance.
+ */
+export declare class KroneckerVarianceError extends UPTError {
+    readonly bothVariance: 'upper' | 'lower';
+    constructor(bothVariance: 'upper' | 'lower');
+}
+/**
+ * Thrown when a `tensor-partial-derivative` node's `wrtIndex.variance`
+ * is `'upper'`. The differentiation operator ∂/∂x^μ is fundamentally
+ * covariant (lower) regardless of the variance of the coordinate. Per
+ * Part-VIII §VIII.4 (pderiv-wrtIndex-always-lower TENSOR-RULE).
+ */
+export declare class PartialDerivativeIndexVarianceError extends UPTError {
+    readonly label: string;
+    constructor(label: string);
+}
+/**
+ * Emitted (not thrown) via `process.emitWarning` when a covariant-derivative's
+ * `wrt` coordinate label collides with an existing free index of the operand
+ * and the env var `UPT_ALLOW_COORD_SHADOW=1` has opted in to downgraded
+ * handling. By default the collision throws `MetricSignatureError` (soundness
+ * over friendliness — silent wrong results are the worst failure mode).
+ *
+ * Lives here (dimensional/errors.ts) rather than numerical/index.ts to avoid
+ * a dimensional → numerical import cycle; re-exported from numerical/index.ts
+ * for the public API surface per v0.4.0-Implementation-Plan Task 13.
+ *
+ * Uses `Object.setPrototypeOf` for correct `instanceof` after ES5 transpilation.
+ *
+ * @public
+ */
+export declare class DuplicateCoordinateWarning extends Error {
+    constructor(coord: string, conflictingIndex: string);
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/dimensional/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,4CAA4C;AAC5C,qBAAa,QAAS,SAAQ,KAAK;gBACrB,OAAO,EAAE,MAAM;CAM5B;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,QAAQ,EAAE,SAAS,CAAC;IACpC,SAAgB,MAAM,EAAE,SAAS,CAAC;gBACtB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS;CAOpE;AAED;;;;;;;;;GASG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,KAAK,EAAE,MAAM,CAAC;gBAClB,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAW9C;AAED;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC;;;;OAIG;IACH,SAAgB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;gBAE9C,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC;CAiBlC;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC;gBAChC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO;CAavD;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,EAAE,EAAE,MAAM,CAAC;gBACf,EAAE,EAAE,MAAM;CASvB;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;gBACtC,OAAO,EAAE,MAAM;CAK5B;AAED;;;;;;GAMG;AACH,qBAAa,gCAAiC,SAAQ,QAAQ;gBAChD,OAAO,EAAE,MAAM;CAK5B;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,UAAU,EAAE,MAAM,CAAC;gBACvB,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM;CAUnD;AAED;;;;;GAKG;AACH,qBAAa,oBAAqB,SAAQ,QAAQ;IAChD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,MAAM,EAAE,MAAM,CAAC;gBACnB,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAS/C;AAED;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,QAAQ;IACrD,SAAgB,UAAU,EAAE,MAAM,CAAC;gBACvB,UAAU,EAAE,MAAM;CAS/B;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,YAAY,EAAE,OAAO,GAAG,OAAO,CAAC;gBACpC,YAAY,EAAE,OAAO,GAAG,OAAO;CAU5C;AAED;;;;;GAKG;AACH,qBAAa,mCAAoC,SAAQ,QAAQ;IAC/D,SAAgB,KAAK,EAAE,MAAM,CAAC;gBAClB,KAAK,EAAE,MAAM;CAU1B;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;gBACvC,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM;CASpD"}

package/dist/dimensional/errors.js

@@ -0,0 +1,254 @@
+/**
+ * UPT error hierarchy. All UPT-source errors subclass UPTError so
+ * downstream consumers (mathjs, threejs, TensorJS) can discriminate
+ * with `err instanceof UPTError`.
+ *
+ * @module dimensional/errors
+ */
+/** Base class for all UPT-source errors. */
+export class UPTError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'UPTError';
+        // Restore prototype chain (needed for instanceof after ES5 transpilation).
+        Object.setPrototypeOf(this, UPTError.prototype);
+    }
+}
+/**
+ * Thrown by add/sub and equation-level checks when dimensions disagree.
+ * (Moved from src/dimensional/algebra.ts as part of the v0.2.0 UPTError
+ * refactor. Behavior unchanged.)
+ */
+export class DimensionMismatchError extends UPTError {
+    expected;
+    actual;
+    constructor(message, expected, actual) {
+        super(message);
+        this.name = 'DimensionMismatchError';
+        this.expected = expected;
+        this.actual = actual;
+        Object.setPrototypeOf(this, DimensionMismatchError.prototype);
+    }
+}
+/**
+ * Thrown when a tensor-symbol's indices list contains the same label
+ * more than once (e.g., T^μ_μ_μ). Per Part-VII §VII.4.
+ *
+ * NOTE: this error fires on DECLARATION-TIME duplicates within a single
+ * tensor-symbol's indices list. Those indices are *free*, not "dummy"
+ * (a dummy index in tensor calculus is one that is summed over). The
+ * earlier name `RepeatedDummyLabelError` was a misnomer; that deprecated
+ * alias was removed in v0.4.5.
+ */
+export class DuplicateIndexLabelError extends UPTError {
+    tensorName;
+    label;
+    constructor(tensorName, label) {
+        super(`Tensor '${tensorName}' has repeated index label '${label}'. ` +
+            `A label may appear at most twice (once upper, once lower) within ` +
+            `a single tensor-symbol's indices list.`);
+        this.name = 'DuplicateIndexLabelError';
+        this.tensorName = tensorName;
+        this.label = label;
+        Object.setPrototypeOf(this, DuplicateIndexLabelError.prototype);
+    }
+}
+/**
+ * Thrown when an index label appears more than twice across a
+ * tensor-product's operands. Einstein contraction requires exactly two
+ * occurrences (one upper + one lower) per dummy label. Per Part-VII §VII.4.
+ */
+export class IndexLabelCollisionError extends UPTError {
+    label;
+    totalCount;
+    /**
+     * Tensor names that contributed occurrences of the colliding label,
+     * if the caller has them available. May be undefined for callers that
+     * don't track per-operand provenance.
+     */
+    sources;
+    constructor(label, totalCount, sources) {
+        const sourceClause = sources && sources.length > 0
+            ? ` (sources: ${sources.join(', ')})`
+            : '';
+        super(`Index label '${label}' appears ${totalCount} times across the ` +
+            `tensor-product operands${sourceClause} (max allowed: 2 for Einstein ` +
+            `contraction). Rename one of the offending indices.`);
+        this.name = 'IndexLabelCollisionError';
+        this.label = label;
+        this.totalCount = totalCount;
+        this.sources = sources;
+        Object.setPrototypeOf(this, IndexLabelCollisionError.prototype);
+    }
+}
+/**
+ * Thrown when an index label appears twice in a tensor-product but both
+ * occurrences share the same variance (both upper or both lower). v0.2.0
+ * has no metric tensor available to raise/lower indices, so such a
+ * contraction is rejected at validation time. Per Part-VII §VII.4.
+ */
+export class VarianceMismatchError extends UPTError {
+    label;
+    variance;
+    constructor(label, variance) {
+        super(`Index label '${label}' appears twice but both with variance '${variance}'. ` +
+            `Einstein contraction requires one upper and one lower. ` +
+            `If this is intentional, use raise(operand, gInverse, '${label}') or ` +
+            `lower(operand, g, '${label}') to traverse variance via the metric ` +
+            `before contracting.`);
+        this.name = 'VarianceMismatchError';
+        this.label = label;
+        this.variance = variance;
+        Object.setPrototypeOf(this, VarianceMismatchError.prototype);
+    }
+}
+/**
+ * Thrown by `op '*'` / `'/'` / `'^'` when an operand carries non-empty
+ * freeIndices. Scalar operators in v0.2.0 are strict: any tensor-valued
+ * operand must instead pass through `tensor-product`. Per Part-VII §VII.5
+ * (op-tensor boundary rules).
+ */
+export class TensorInScalarOpError extends UPTError {
+    op;
+    constructor(op) {
+        super(`Operator '${op}' is scalar-only; received a tensor argument with ` +
+            `non-empty freeIndices. Use 'tensor-product' for tensor multiplication.`);
+        this.name = 'TensorInScalarOpError';
+        this.op = op;
+        Object.setPrototypeOf(this, TensorInScalarOpError.prototype);
+    }
+}
+/**
+ * Thrown by `op '+'` / `'-'` when the operand freeIndices maps differ.
+ * Addition / subtraction across tensors requires identical free-index
+ * signatures (same labels, same per-label upper/lower counts). Per
+ * Part-VII §VII.5.
+ */
+export class FreeIndexMismatchError extends UPTError {
+    constructor(message) {
+        super(message);
+        this.name = 'FreeIndexMismatchError';
+        Object.setPrototypeOf(this, FreeIndexMismatchError.prototype);
+    }
+}
+/**
+ * Thrown by the validator's tensor-product child resolver when a non-tensor
+ * operand to a `tensor-product` fails dimension inference. Subclassing
+ * UPTError (rather than throwing a plain `Error`) preserves the §14.7
+ * forward-compat invariant that downstream consumers can discriminate
+ * UPT-source errors with `err instanceof UPTError`.
+ */
+export class TensorProductChildInferenceError extends UPTError {
+    constructor(message) {
+        super(message);
+        this.name = 'TensorProductChildInferenceError';
+        Object.setPrototypeOf(this, TensorProductChildInferenceError.prototype);
+    }
+}
+/**
+ * Thrown when a `metric-tensor` node has rank other than 2. Per
+ * Part-VIII §VIII.2 (metric-tensor-rank-2-only TENSOR-RULE). The metric
+ * is fundamentally a rank-2 object in v0.3.0; higher-rank generalizations
+ * are out of scope.
+ */
+export class InvalidMetricRankError extends UPTError {
+    tensorName;
+    actualRank;
+    constructor(tensorName, actualRank) {
+        super(`Metric tensor '${tensorName}' has rank ${actualRank}, but a ` +
+            `metric must be rank-2 (exactly two indices). Per Part-VIII §VIII.2.`);
+        this.name = 'InvalidMetricRankError';
+        this.tensorName = tensorName;
+        this.actualRank = actualRank;
+        Object.setPrototypeOf(this, InvalidMetricRankError.prototype);
+    }
+}
+/**
+ * Thrown when a `metric-tensor` has mixed-variance indices, an empty
+ * signature, an invalid signature string, or other structural problem
+ * orthogonal to rank. Per Part-VIII §VIII.2 and §VIII.5 (raise/lower
+ * variance requirements).
+ */
+export class MetricSignatureError extends UPTError {
+    tensorName;
+    reason;
+    constructor(tensorName, reason) {
+        super(`Metric tensor '${tensorName}': ${reason}. Per Part-VIII §VIII.2.`);
+        this.name = 'MetricSignatureError';
+        this.tensorName = tensorName;
+        this.reason = reason;
+        Object.setPrototypeOf(this, MetricSignatureError.prototype);
+    }
+}
+/**
+ * Thrown when a `kronecker-delta` node has rank other than 2.
+ * Per Part-VIII §VIII.3.
+ */
+export class InvalidKroneckerRankError extends UPTError {
+    actualRank;
+    constructor(actualRank) {
+        super(`Kronecker delta has rank ${actualRank}, but must be rank-2 ` +
+            `(exactly one upper + one lower index). Per Part-VIII §VIII.3.`);
+        this.name = 'InvalidKroneckerRankError';
+        this.actualRank = actualRank;
+        Object.setPrototypeOf(this, InvalidKroneckerRankError.prototype);
+    }
+}
+/**
+ * Thrown when a `kronecker-delta`'s two indices share the same variance
+ * (both upper or both lower). Per Part-VIII §VIII.3, the canonical
+ * δ^μ_ν requires mixed variance.
+ */
+export class KroneckerVarianceError extends UPTError {
+    bothVariance;
+    constructor(bothVariance) {
+        super(`Kronecker delta indices both have variance '${bothVariance}'; ` +
+            `must be one upper + one lower (canonical δ^μ_ν form). ` +
+            `Per Part-VIII §VIII.3.`);
+        this.name = 'KroneckerVarianceError';
+        this.bothVariance = bothVariance;
+        Object.setPrototypeOf(this, KroneckerVarianceError.prototype);
+    }
+}
+/**
+ * Thrown when a `tensor-partial-derivative` node's `wrtIndex.variance`
+ * is `'upper'`. The differentiation operator ∂/∂x^μ is fundamentally
+ * covariant (lower) regardless of the variance of the coordinate. Per
+ * Part-VIII §VIII.4 (pderiv-wrtIndex-always-lower TENSOR-RULE).
+ */
+export class PartialDerivativeIndexVarianceError extends UPTError {
+    label;
+    constructor(label) {
+        super(`Partial-derivative index '${label}' has variance 'upper', but ` +
+            `∂_μ is fundamentally covariant — wrtIndex.variance must always ` +
+            `be 'lower'. Per Part-VIII §VIII.4.`);
+        this.name = 'PartialDerivativeIndexVarianceError';
+        this.label = label;
+        Object.setPrototypeOf(this, PartialDerivativeIndexVarianceError.prototype);
+    }
+}
+/**
+ * Emitted (not thrown) via `process.emitWarning` when a covariant-derivative's
+ * `wrt` coordinate label collides with an existing free index of the operand
+ * and the env var `UPT_ALLOW_COORD_SHADOW=1` has opted in to downgraded
+ * handling. By default the collision throws `MetricSignatureError` (soundness
+ * over friendliness — silent wrong results are the worst failure mode).
+ *
+ * Lives here (dimensional/errors.ts) rather than numerical/index.ts to avoid
+ * a dimensional → numerical import cycle; re-exported from numerical/index.ts
+ * for the public API surface per v0.4.0-Implementation-Plan Task 13.
+ *
+ * Uses `Object.setPrototypeOf` for correct `instanceof` after ES5 transpilation.
+ *
+ * @public
+ */
+export class DuplicateCoordinateWarning extends Error {
+    constructor(coord, conflictingIndex) {
+        super(`Covariant-derivative wrt='${coord}' collides with existing free index ` +
+            `'${conflictingIndex}' of the operand; result will silently misbehave. ` +
+            `Rename the operand's free index or pick a different wrt label.`);
+        this.name = 'DuplicateCoordinateWarning';
+        Object.setPrototypeOf(this, DuplicateCoordinateWarning.prototype);
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/dimensional/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,4CAA4C;AAC5C,MAAM,OAAO,QAAS,SAAQ,KAAK;IACjC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;QACvB,2EAA2E;QAC3E,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,QAAQ,CAAY;IACpB,MAAM,CAAY;IAClC,YAAY,OAAe,EAAE,QAAmB,EAAE,MAAiB;QACjE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,wBAAyB,SAAQ,QAAQ;IACpC,UAAU,CAAS;IACnB,KAAK,CAAS;IAC9B,YAAY,UAAkB,EAAE,KAAa;QAC3C,KAAK,CACH,WAAW,UAAU,+BAA+B,KAAK,KAAK;YAC9D,mEAAmE;YACnE,wCAAwC,CACzC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,wBAAyB,SAAQ,QAAQ;IACpC,KAAK,CAAS;IACd,UAAU,CAAS;IACnC;;;;OAIG;IACa,OAAO,CAAyB;IAChD,YACE,KAAa,EACb,UAAkB,EAClB,OAA+B;QAE/B,MAAM,YAAY,GAChB,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,cAAc,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACrC,CAAC,CAAC,EAAE,CAAC;QACT,KAAK,CACH,gBAAgB,KAAK,aAAa,UAAU,oBAAoB;YAChE,0BAA0B,YAAY,gCAAgC;YACtE,oDAAoD,CACrD,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;QACvC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,KAAK,CAAS;IACd,QAAQ,CAAoB;IAC5C,YAAY,KAAa,EAAE,QAA2B;QACpD,KAAK,CACH,gBAAgB,KAAK,2CAA2C,QAAQ,KAAK;YAC7E,yDAAyD;YACzD,yDAAyD,KAAK,QAAQ;YACtE,sBAAsB,KAAK,yCAAyC;YACpE,qBAAqB,CACtB,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACjC,EAAE,CAAS;IAC3B,YAAY,EAAU;QACpB,KAAK,CACH,aAAa,EAAE,oDAAoD;YACnE,wEAAwE,CACzE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,OAAO,gCAAiC,SAAQ,QAAQ;IAC5D,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kCAAkC,CAAC;QAC/C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,gCAAgC,CAAC,SAAS,CAAC,CAAC;IAC1E,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,UAAU,CAAS;IACnB,UAAU,CAAS;IACnC,YAAY,UAAkB,EAAE,UAAkB;QAChD,KAAK,CACH,kBAAkB,UAAU,cAAc,UAAU,UAAU;YAC9D,qEAAqE,CACtE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,oBAAqB,SAAQ,QAAQ;IAChC,UAAU,CAAS;IACnB,MAAM,CAAS;IAC/B,YAAY,UAAkB,EAAE,MAAc;QAC5C,KAAK,CACH,kBAAkB,UAAU,MAAM,MAAM,0BAA0B,CACnE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;QACnC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,yBAA0B,SAAQ,QAAQ;IACrC,UAAU,CAAS;IACnC,YAAY,UAAkB;QAC5B,KAAK,CACH,4BAA4B,UAAU,uBAAuB;YAC7D,+DAA+D,CAChE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACxC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,sBAAuB,SAAQ,QAAQ;IAClC,YAAY,CAAoB;IAChD,YAAY,YAA+B;QACzC,KAAK,CACH,+CAA+C,YAAY,KAAK;YAChE,wDAAwD;YACxD,wBAAwB,CACzB,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,OAAO,mCAAoC,SAAQ,QAAQ;IAC/C,KAAK,CAAS;IAC9B,YAAY,KAAa;QACvB,KAAK,CACH,6BAA6B,KAAK,8BAA8B;YAChE,iEAAiE;YACjE,oCAAoC,CACrC,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,qCAAqC,CAAC;QAClD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,mCAAmC,CAAC,SAAS,CAAC,CAAC;IAC7E,CAAC;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IACnD,YAAY,KAAa,EAAE,gBAAwB;QACjD,KAAK,CACH,6BAA6B,KAAK,sCAAsC;YACxE,IAAI,gBAAgB,oDAAoD;YACxE,gEAAgE,CACjE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;QACzC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,0BAA0B,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;CACF"}

package/dist/dimensional/fresh-label.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Shared deterministic fresh-label utility used by both metric.ts (raise/lower)
+ * and connection.ts (christoffel). Extracted to eliminate the algorithmic
+ * divergence found in the Task 3 code-quality review (Finding #1).
+ *
+ * Canonical semantics (from metric.ts, the older module with downstream callers):
+ * always returns `<base>_<counter>` starting at counter=1, regardless of
+ * whether `base` itself is free. This guarantees every returned label is
+ * suffixed and avoids subtle round-trip inconsistencies when the same base
+ * label appears in multiple call sites.
+ *
+ * Per Part-VIII §VIII.5 TENSOR-RULE raise-lower-fresh-label-deterministic.
+ *
+ * @module dimensional/fresh-label
+ */
+/**
+ * Generate a deterministic fresh label not present in `taken`.
+ * Uses the scheme `<base>_<counter>` starting at counter=1; increments until
+ * a non-taken label is found. Deterministic across runs.
+ *
+ * @param base  The preferred label stem (e.g. `'ρ'`).
+ * @param taken Set of labels already in use.
+ * @returns     A label of the form `<base>_N` where N ≥ 1.
+ */
+export declare function freshLabel(base: string, taken: Set<string>): string;
+//# sourceMappingURL=fresh-label.d.ts.map

package/dist/dimensional/fresh-label.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fresh-label.d.ts","sourceRoot":"","sources":["../../src/dimensional/fresh-label.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAInE"}

package/dist/dimensional/fresh-label.js

@@ -0,0 +1,31 @@
+/**
+ * Shared deterministic fresh-label utility used by both metric.ts (raise/lower)
+ * and connection.ts (christoffel). Extracted to eliminate the algorithmic
+ * divergence found in the Task 3 code-quality review (Finding #1).
+ *
+ * Canonical semantics (from metric.ts, the older module with downstream callers):
+ * always returns `<base>_<counter>` starting at counter=1, regardless of
+ * whether `base` itself is free. This guarantees every returned label is
+ * suffixed and avoids subtle round-trip inconsistencies when the same base
+ * label appears in multiple call sites.
+ *
+ * Per Part-VIII §VIII.5 TENSOR-RULE raise-lower-fresh-label-deterministic.
+ *
+ * @module dimensional/fresh-label
+ */
+/**
+ * Generate a deterministic fresh label not present in `taken`.
+ * Uses the scheme `<base>_<counter>` starting at counter=1; increments until
+ * a non-taken label is found. Deterministic across runs.
+ *
+ * @param base  The preferred label stem (e.g. `'ρ'`).
+ * @param taken Set of labels already in use.
+ * @returns     A label of the form `<base>_N` where N ≥ 1.
+ */
+export function freshLabel(base, taken) {
+    let counter = 1;
+    while (taken.has(`${base}_${counter}`))
+        counter++;
+    return `${base}_${counter}`;
+}
+//# sourceMappingURL=fresh-label.js.map

package/dist/dimensional/fresh-label.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fresh-label.js","sourceRoot":"","sources":["../../src/dimensional/fresh-label.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,KAAkB;IACzD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC;QAAE,OAAO,EAAE,CAAC;IAClD,OAAO,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC;AAC9B,CAAC"}

package/dist/dimensional/metric-validators.d.ts

@@ -0,0 +1,124 @@
+/**
+ * Per-kind validation for v0.3.0 metric-layer AST nodes.
+ *
+ * Mirrors the pattern of `validateTensorSymbol` in tensor.ts: each
+ * validator is a pure function returning a local `{dim, freeIndices}`
+ * carrier that validator.ts merges into its InferContext accumulator.
+ *
+ * Per docs/specification/Part-VIII-Metric-Layer.md §VIII.2-§VIII.4.
+ *
+ * @module dimensional/metric-validators
+ */
+import type { Dimension } from './types.js';
+import type { Role, TensorIndex } from './tensor.js';
+export interface MetricTensorNode {
+    readonly kind: 'metric-tensor';
+    readonly name: string;
+    readonly indices: ReadonlyArray<TensorIndex>;
+    readonly signature: string;
+    readonly dim: Dimension;
+    /**
+     * v0.4.0 numerical-lowering hint: which strategy the numerical engine uses
+     * to compute ∂g for Christoffel / ∇_μ. Defaults to 'computed' (use the
+     * engine's AD on the metric function). 'zero' = constant metric (∂g=0,
+     * Γ=0, ∇_μ=∂_μ). 'supplied' = user provides ∂g components in
+     * inputs.metricDerivatives. See v0.4.0-Design.md §4 and §7.
+     */
+    readonly derivativeStrategy?: 'computed' | 'zero' | 'supplied';
+}
+export interface MetricTensorValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Symbolic structural check for InverseMetricInconsistencyWarning: a
+ * both-lower metric and a both-upper metric should have all-lower and
+ * all-upper index variance respectively. Returns a warning note when the
+ * structure is wrong, else null. The numerical residual check lives in
+ * src/numerical/metric-inverse.ts.
+ */
+export declare function checkInverseMetricStructure(gLower: MetricTensorNode, gUpper: MetricTensorNode): string | null;
+/**
+ * Validate a metric-tensor node. Rejects:
+ *   - rank ≠ 2 → InvalidMetricRankError
+ *   - mixed-variance indices → MetricSignatureError
+ *   - duplicate index labels (e.g., g_μμ) → MetricSignatureError
+ *   - malformed/empty signature string → MetricSignatureError
+ *
+ * Per Part-VIII §VIII.2.
+ */
+export declare function validateMetricTensor(node: MetricTensorNode): MetricTensorValidationResult;
+export interface KroneckerDeltaNode {
+    readonly kind: 'kronecker-delta';
+    readonly indices: ReadonlyArray<TensorIndex>;
+    readonly dim: Dimension;
+}
+export interface KroneckerDeltaValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a kronecker-delta node. Rejects:
+ *   - rank ≠ 2 → InvalidKroneckerRankError
+ *   - same-variance indices (both upper or both lower) → KroneckerVarianceError
+ *   - duplicate index labels (e.g., δ^μ_μ, a trace) → IndexLabelCollisionError
+ *
+ * Per Part-VIII §VIII.3.
+ */
+export declare function validateKroneckerDelta(node: KroneckerDeltaNode): KroneckerDeltaValidationResult;
+export interface CovariantIndex {
+    readonly label: string;
+    readonly variance: 'lower';
+}
+/**
+ * ExprNode-like — uses `unknown` for `of`/`wrt` because metric-validators.ts
+ * MUST NOT import from validator.ts (would create a module cycle). The
+ * validator's case arm threads a callback that knows the real ExprNode type.
+ */
+export interface TensorPartialDerivativeNode {
+    readonly kind: 'tensor-partial-derivative';
+    readonly of: unknown;
+    readonly wrt: unknown;
+    readonly wrtIndex: CovariantIndex;
+}
+export interface PartialDerivativeValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+    readonly role?: Role;
+}
+/**
+ * Per-child validation result the caller supplies via the recursion
+ * callback. Mirrors `ChildValidationResult` in tensor.ts — same shape,
+ * different home so this module stays decoupled from tensor.ts.
+ */
+export interface PartialDerivativeChildResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+    readonly role?: Role;
+}
+/**
+ * Validate a tensor-partial-derivative node.
+ *
+ * Pure-function module-cycle-free pattern (matches `computeContraction`):
+ * recursion is injected via the `validateChild` callback. The caller
+ * (validator.ts's `infer()` dispatch) supplies a resolver that returns
+ * `{dim, freeIndices, role?}` for each child (the `of` and `wrt` operands).
+ *
+ * Per Part-VIII §VIII.4. Throws:
+ *   - PartialDerivativeIndexVarianceError if wrtIndex.variance !== 'lower'
+ *   - IndexLabelCollisionError if wrtIndex.label collides with `of`'s free indices
+ */
+export declare function validatePartialDerivative(node: TensorPartialDerivativeNode, validateChild: (child: unknown) => PartialDerivativeChildResult): PartialDerivativeValidationResult;
+//# sourceMappingURL=metric-validators.d.ts.map

package/dist/dimensional/metric-validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"metric-validators.d.ts","sourceRoot":"","sources":["../../src/dimensional/metric-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAY,IAAI,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAW/D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,UAAU,CAAC;CAChE;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AASD;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,MAAM,GAAG,IAAI,CAQf;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,gBAAgB,GACrB,4BAA4B,CAgC9B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAC7C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,kBAAkB,GACvB,8BAA8B,CAuBhC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB;AAED;;;;GAIG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,2BAA2B,EACjC,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,4BAA4B,GAC9D,iCAAiC,CA+BnC"}