universal-physics-tensor 0.4.5

package/dist/dimensional/metric-validators.js

@@ -0,0 +1,141 @@
+/**
+ * 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 { divide } from './algebra.js';
+import { InvalidMetricRankError, MetricSignatureError, InvalidKroneckerRankError, KroneckerVarianceError, PartialDerivativeIndexVarianceError, IndexLabelCollisionError, } from './errors.js';
+/** Parse / validate a metric signature string like '+,-,-,-' or '+,+,+'. */
+function isValidSignature(signature) {
+    if (signature.length === 0)
+        return false;
+    const parts = signature.split(',');
+    return parts.every((p) => p === '+' || p === '-');
+}
+/**
+ * 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 function checkInverseMetricStructure(gLower, gUpper) {
+    const lowerOk = gLower.indices.every((i) => i.variance === 'lower');
+    const upperOk = gUpper.indices.every((i) => i.variance === 'upper');
+    if (!lowerOk || !upperOk) {
+        return `InverseMetricInconsistencyWarning: "${gLower.name}" / "${gUpper.name}" `
+            + `do not form a lower/upper inverse pair`;
+    }
+    return 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 function validateMetricTensor(node) {
+    if (node.indices.length !== 2) {
+        throw new InvalidMetricRankError(node.name, node.indices.length);
+    }
+    const [a, b] = node.indices;
+    if (a.variance !== b.variance) {
+        throw new MetricSignatureError(node.name, `mixed-variance indices ('${a.variance}' vs '${b.variance}') are not allowed; ` +
+            `use raise() / lower() helpers to traverse variance, or kronecker-delta for δ^μ_ν`);
+    }
+    if (a.label === b.label) {
+        throw new MetricSignatureError(node.name, `duplicate index label '${a.label}'; a metric's two indices must have distinct labels`);
+    }
+    if (!isValidSignature(node.signature)) {
+        throw new MetricSignatureError(node.name, `signature '${node.signature}' is malformed; expected '+,-,-,-' or '+,+,+' format`);
+    }
+    const freeIndices = new Map();
+    for (const idx of node.indices) {
+        freeIndices.set(idx.label, {
+            upper: idx.variance === 'upper' ? 1 : 0,
+            lower: idx.variance === 'lower' ? 1 : 0,
+        });
+    }
+    return { dim: node.dim, freeIndices };
+}
+/**
+ * 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 function validateKroneckerDelta(node) {
+    if (node.indices.length !== 2) {
+        throw new InvalidKroneckerRankError(node.indices.length);
+    }
+    const [a, b] = node.indices;
+    if (a.variance === b.variance) {
+        throw new KroneckerVarianceError(a.variance);
+    }
+    if (a.label === b.label) {
+        // δ^μ_μ is a trace (a contraction), not a free-index expression. v0.3.0
+        // doesn't yet auto-evaluate kronecker traces; reject as a label collision
+        // to surface the ambiguity to the caller (same semantic as v0.2.0
+        // tensor-symbol duplicate-label rejection).
+        throw new IndexLabelCollisionError(a.label, 2, ['kronecker-delta-trace']);
+    }
+    const freeIndices = new Map();
+    for (const idx of node.indices) {
+        freeIndices.set(idx.label, {
+            upper: idx.variance === 'upper' ? 1 : 0,
+            lower: idx.variance === 'lower' ? 1 : 0,
+        });
+    }
+    return { dim: node.dim, freeIndices };
+}
+/**
+ * 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 function validatePartialDerivative(node, validateChild) {
+    if (node.wrtIndex.variance !== 'lower') {
+        throw new PartialDerivativeIndexVarianceError(node.wrtIndex.label);
+    }
+    const ofResult = validateChild(node.of);
+    const wrtResult = validateChild(node.wrt);
+    // Per §VIII.4: discard wrt's own free indices (the operator's index is
+    // wrtIndex, not wrt's own indices).
+    if (ofResult.freeIndices.has(node.wrtIndex.label)) {
+        throw new IndexLabelCollisionError(node.wrtIndex.label, 2, [
+            'tensor-partial-derivative.wrtIndex',
+            'of.freeIndices',
+        ]);
+    }
+    // Output freeIndices = of.freeIndices ∪ {wrtIndex.label: lower}.
+    const freeIndices = new Map();
+    for (const [label, counts] of ofResult.freeIndices) {
+        freeIndices.set(label, counts);
+    }
+    freeIndices.set(node.wrtIndex.label, { upper: 0, lower: 1 });
+    // Output dim = divide(of.dim, wrt.dim).
+    const dim = divide(ofResult.dim, wrtResult.dim);
+    // Role: pass through of.role if present; default to 'field' otherwise
+    // (Design §13 Q1 locked decision).
+    const role = ofResult.role ?? 'field';
+    return { dim, freeIndices, role };
+}
+//# sourceMappingURL=metric-validators.js.map

package/dist/dimensional/metric-validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metric-validators.js","sourceRoot":"","sources":["../../src/dimensional/metric-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACpB,yBAAyB,EACzB,sBAAsB,EACtB,mCAAmC,EACnC,wBAAwB,GACzB,MAAM,aAAa,CAAC;AAuBrB,4EAA4E;AAC5E,SAAS,gBAAgB,CAAC,SAAiB;IACzC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAwB,EACxB,MAAwB;IAExB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QACzB,OAAO,uCAAuC,MAAM,CAAC,IAAI,QAAQ,MAAM,CAAC,IAAI,IAAI;cAC5E,wCAAwC,CAAC;IAC/C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB;IAEtB,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAC5B,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,IAAI,EACT,4BAA4B,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,QAAQ,sBAAsB;YAC7E,kFAAkF,CACrF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,IAAI,EACT,0BAA0B,CAAC,CAAC,KAAK,qDAAqD,CACvF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,IAAI,EACT,cAAc,IAAI,CAAC,SAAS,sDAAsD,CACnF,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE;YACzB,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAaD;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAwB;IAExB,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAC5B,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,sBAAsB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,wEAAwE;QACxE,0EAA0E;QAC1E,kEAAkE;QAClE,4CAA4C;QAC5C,MAAM,IAAI,wBAAwB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE;YACzB,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,KAAK,EAAE,GAAG,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAoCD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAiC,EACjC,aAA+D;IAE/D,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,mCAAmC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE1C,uEAAuE;IACvE,oCAAoC;IACpC,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE;YACzD,oCAAoC;YACpC,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACnD,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE7D,wCAAwC;IACxC,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAEhD,sEAAsE;IACtE,mCAAmC;IACnC,MAAM,IAAI,GAAS,QAAQ,CAAC,IAAI,IAAI,OAAO,CAAC;IAE5C,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC"}

package/dist/dimensional/metric.d.ts

@@ -0,0 +1,67 @@
+/**
+ * User-facing constructors and ergonomic helpers for v0.3.0 metric-layer
+ * AST nodes. The substantive logic (alpha-conversion) lives in raise() /
+ * lower() (added in Task 8 — this file's initial revision contains only
+ * the trivial constructors).
+ *
+ * Per docs/specification/Part-VIII-Metric-Layer.md §VIII.5 (raise/lower
+ * contract) and §VIII.1 (grammar).
+ *
+ * @module dimensional/metric
+ */
+import type { Dimension } from './types.js';
+import type { TensorIndex } from './tensor.js';
+import type { TensorProductNode } from './tensor.js';
+import type { MetricTensorNode, KroneckerDeltaNode, TensorPartialDerivativeNode, CovariantIndex } from './metric-validators.js';
+import type { ExprNode } from './validator.js';
+/**
+ * Construct a metric-tensor node.
+ *
+ * @param name       Symbolic name of the metric (e.g. `'g'`).
+ * @param indices    Exactly two TensorIndex entries (rank-2 requirement).
+ * @param dim        Physical dimension of the metric components.
+ * @param signature  Comma-separated `'+'`/`'-'` signs (e.g. `'+,-,-,-'`).
+ * @param derivativeStrategy  Optional v0.4.0 hint for the numerical engine:
+ *   how to compute ∂g for Christoffel / ∇_μ. `'zero'` = constant metric
+ *   (∂g=0, Γ=0, ∇_μ=∂_μ); `'supplied'` = caller provides ∂g components;
+ *   `'computed'` = engine auto-differentiates the metric function (default).
+ *   Omit to leave the field absent (engine defaults to `'computed'`).
+ */
+export declare function metric(name: string, indices: ReadonlyArray<TensorIndex>, dim: Dimension, signature: string, derivativeStrategy?: 'computed' | 'zero' | 'supplied'): MetricTensorNode;
+/**
+ * Construct a Kronecker delta δ^upperLabel_lowerLabel.
+ * Parameter order: upper first, lower second (canonical δ^μ_ν).
+ * dim defaults to DIMENSIONLESS (Design §13 Q3 locked).
+ */
+export declare function kronecker(upperLabel: string, lowerLabel: string, dim?: Dimension): KroneckerDeltaNode;
+/**
+ * Construct a tensor-partial-derivative. wrtIndex.variance MUST be 'lower'
+ * — TypeScript enforces this via the CovariantIndex type.
+ */
+export declare function pderiv(of: ExprNode, wrt: ExprNode, wrtIndex: CovariantIndex): TensorPartialDerivativeNode;
+/**
+ * Raise an index of `operand` via the inverse metric `gInverse`.
+ *
+ * Internal alpha-conversion: one of `gInverse`'s labels is renamed to
+ * match `label` (so the Einstein-summation contraction picks it up);
+ * the other is renamed to a fresh label that doesn't collide with any
+ * free index in `operand`. The fresh label becomes the resulting
+ * tensor-product's only new free index.
+ *
+ * Per Part-VIII §VIII.5 (raise/lower contract).
+ *
+ * Throws:
+ *   - MetricSignatureError if gInverse isn't both-upper
+ *   - RaiseLowerInvalidLabelError if label is absent or already upper in operand
+ */
+export declare function raise(operand: ExprNode, gInverse: MetricTensorNode, label: string): TensorProductNode;
+/**
+ * Lower an index of `operand` via the covariant metric `g`.
+ * Symmetric to raise(). Per Part-VIII §VIII.5.
+ *
+ * Throws:
+ *   - MetricSignatureError if g isn't both-lower
+ *   - RaiseLowerInvalidLabelError if label is absent or already lower in operand
+ */
+export declare function lower(operand: ExprNode, g: MetricTensorNode, label: string): TensorProductNode;
+//# sourceMappingURL=metric.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"metric.d.ts","sourceRoot":"","sources":["../../src/dimensional/metric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,cAAc,EACf,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI/C;;;;;;;;;;;;GAYG;AACH,wBAAgB,MAAM,CACpB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,EACnC,GAAG,EAAE,SAAS,EACd,SAAS,EAAE,MAAM,EACjB,kBAAkB,CAAC,EAAE,UAAU,GAAG,MAAM,GAAG,UAAU,GACpD,gBAAgB,CAWlB;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,GAAG,GAAE,SAAyB,GAC7B,kBAAkB,CASpB;AAED;;;GAGG;AACH,wBAAgB,MAAM,CACpB,EAAE,EAAE,QAAQ,EACZ,GAAG,EAAE,QAAQ,EACb,QAAQ,EAAE,cAAc,GACvB,2BAA2B,CAE7B;AA6BD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,KAAK,CACnB,OAAO,EAAE,QAAQ,EACjB,QAAQ,EAAE,gBAAgB,EAC1B,KAAK,EAAE,MAAM,GACZ,iBAAiB,CA+CnB;AAED;;;;;;;GAOG;AACH,wBAAgB,KAAK,CACnB,OAAO,EAAE,QAAQ,EACjB,CAAC,EAAE,gBAAgB,EACnB,KAAK,EAAE,MAAM,GACZ,iBAAiB,CA6CnB"}

package/dist/dimensional/metric.js

@@ -0,0 +1,177 @@
+/**
+ * User-facing constructors and ergonomic helpers for v0.3.0 metric-layer
+ * AST nodes. The substantive logic (alpha-conversion) lives in raise() /
+ * lower() (added in Task 8 — this file's initial revision contains only
+ * the trivial constructors).
+ *
+ * Per docs/specification/Part-VIII-Metric-Layer.md §VIII.5 (raise/lower
+ * contract) and §VIII.1 (grammar).
+ *
+ * @module dimensional/metric
+ */
+import { DIMENSIONLESS } from './types.js';
+import { freshLabel } from './fresh-label.js';
+import { validate } from './validator.js';
+import { MetricSignatureError, UPTError } from './errors.js';
+/**
+ * Construct a metric-tensor node.
+ *
+ * @param name       Symbolic name of the metric (e.g. `'g'`).
+ * @param indices    Exactly two TensorIndex entries (rank-2 requirement).
+ * @param dim        Physical dimension of the metric components.
+ * @param signature  Comma-separated `'+'`/`'-'` signs (e.g. `'+,-,-,-'`).
+ * @param derivativeStrategy  Optional v0.4.0 hint for the numerical engine:
+ *   how to compute ∂g for Christoffel / ∇_μ. `'zero'` = constant metric
+ *   (∂g=0, Γ=0, ∇_μ=∂_μ); `'supplied'` = caller provides ∂g components;
+ *   `'computed'` = engine auto-differentiates the metric function (default).
+ *   Omit to leave the field absent (engine defaults to `'computed'`).
+ */
+export function metric(name, indices, dim, signature, derivativeStrategy) {
+    const node = { kind: 'metric-tensor', name, indices, signature, dim };
+    if (derivativeStrategy !== undefined)
+        node.derivativeStrategy = derivativeStrategy;
+    return node;
+}
+/**
+ * Construct a Kronecker delta δ^upperLabel_lowerLabel.
+ * Parameter order: upper first, lower second (canonical δ^μ_ν).
+ * dim defaults to DIMENSIONLESS (Design §13 Q3 locked).
+ */
+export function kronecker(upperLabel, lowerLabel, dim = DIMENSIONLESS) {
+    return {
+        kind: 'kronecker-delta',
+        indices: [
+            { label: upperLabel, variance: 'upper' },
+            { label: lowerLabel, variance: 'lower' },
+        ],
+        dim,
+    };
+}
+/**
+ * Construct a tensor-partial-derivative. wrtIndex.variance MUST be 'lower'
+ * — TypeScript enforces this via the CovariantIndex type.
+ */
+export function pderiv(of, wrt, wrtIndex) {
+    return { kind: 'tensor-partial-derivative', of, wrt, wrtIndex };
+}
+/** Thrown by raise() / lower() when the operand's label is absent or has
+ *  the wrong variance for the requested operation. Private to this module
+ *  (not part of the public error surface per Design §6). */
+class RaiseLowerInvalidLabelError extends UPTError {
+    constructor(message) {
+        super(message);
+        this.name = 'RaiseLowerInvalidLabelError';
+        Object.setPrototypeOf(this, RaiseLowerInvalidLabelError.prototype);
+    }
+}
+/**
+ * Collect free-index labels from an ExprNode by calling validate(). Returns
+ * a map from label → variance (whichever side has count > 0). Note: this
+ * performs a full subtree validation on `operand`; cost is acceptable for
+ * typical raise/lower call sites (operand is a small subtree).
+ */
+function collectFreeIndexLabels(node) {
+    const result = validate(node);
+    const labels = new Map();
+    for (const [label, counts] of result.freeIndices) {
+        if (counts.upper > 0)
+            labels.set(label, 'upper');
+        else if (counts.lower > 0)
+            labels.set(label, 'lower');
+    }
+    return labels;
+}
+/**
+ * Raise an index of `operand` via the inverse metric `gInverse`.
+ *
+ * Internal alpha-conversion: one of `gInverse`'s labels is renamed to
+ * match `label` (so the Einstein-summation contraction picks it up);
+ * the other is renamed to a fresh label that doesn't collide with any
+ * free index in `operand`. The fresh label becomes the resulting
+ * tensor-product's only new free index.
+ *
+ * Per Part-VIII §VIII.5 (raise/lower contract).
+ *
+ * Throws:
+ *   - MetricSignatureError if gInverse isn't both-upper
+ *   - RaiseLowerInvalidLabelError if label is absent or already upper in operand
+ */
+export function raise(operand, gInverse, label) {
+    if (gInverse.indices[0].variance !== 'upper' ||
+        gInverse.indices[1].variance !== 'upper') {
+        throw new MetricSignatureError(gInverse.name, `raise() requires both indices of the inverse metric to have variance 'upper'`);
+    }
+    const operandLabels = collectFreeIndexLabels(operand);
+    const operandVariance = operandLabels.get(label);
+    if (operandVariance === undefined) {
+        throw new RaiseLowerInvalidLabelError(`raise(): label '${label}' is not a free index of the operand. ` +
+            `Operand free indices: ${Array.from(operandLabels.keys()).join(', ') || '(none)'}.`);
+    }
+    if (operandVariance === 'upper') {
+        throw new RaiseLowerInvalidLabelError(`raise(): label '${label}' is already 'upper' in the operand. ` +
+            `Use lower() to lower it, or pick a different label.`);
+    }
+    // Alpha-conversion: rename gInverse[0] → label (the dummy that contracts);
+    // gInverse[1] → freshLabel(gInverse[1].label, operand-free-labels).
+    const taken = new Set(operandLabels.keys());
+    taken.add(label);
+    const renamed = freshLabel(gInverse.indices[1].label, taken);
+    const renamedGInverse = {
+        kind: 'metric-tensor',
+        name: gInverse.name,
+        indices: [
+            { label, variance: 'upper' },
+            { label: renamed, variance: 'upper' },
+        ],
+        signature: gInverse.signature,
+        dim: gInverse.dim,
+    };
+    if (gInverse.derivativeStrategy !== undefined) {
+        renamedGInverse.derivativeStrategy =
+            gInverse.derivativeStrategy;
+    }
+    return { kind: 'tensor-product', args: [renamedGInverse, operand] };
+}
+/**
+ * Lower an index of `operand` via the covariant metric `g`.
+ * Symmetric to raise(). Per Part-VIII §VIII.5.
+ *
+ * Throws:
+ *   - MetricSignatureError if g isn't both-lower
+ *   - RaiseLowerInvalidLabelError if label is absent or already lower in operand
+ */
+export function lower(operand, g, label) {
+    if (g.indices[0].variance !== 'lower' ||
+        g.indices[1].variance !== 'lower') {
+        throw new MetricSignatureError(g.name, `lower() requires both indices of the metric to have variance 'lower'`);
+    }
+    const operandLabels = collectFreeIndexLabels(operand);
+    const operandVariance = operandLabels.get(label);
+    if (operandVariance === undefined) {
+        throw new RaiseLowerInvalidLabelError(`lower(): label '${label}' is not a free index of the operand. ` +
+            `Operand free indices: ${Array.from(operandLabels.keys()).join(', ') || '(none)'}.`);
+    }
+    if (operandVariance === 'lower') {
+        throw new RaiseLowerInvalidLabelError(`lower(): label '${label}' is already 'lower' in the operand. ` +
+            `Use raise() to raise it, or pick a different label.`);
+    }
+    const taken = new Set(operandLabels.keys());
+    taken.add(label);
+    const renamed = freshLabel(g.indices[1].label, taken);
+    const renamedG = {
+        kind: 'metric-tensor',
+        name: g.name,
+        indices: [
+            { label, variance: 'lower' },
+            { label: renamed, variance: 'lower' },
+        ],
+        signature: g.signature,
+        dim: g.dim,
+    };
+    if (g.derivativeStrategy !== undefined) {
+        renamedG.derivativeStrategy =
+            g.derivativeStrategy;
+    }
+    return { kind: 'tensor-product', args: [renamedG, operand] };
+}
+//# sourceMappingURL=metric.js.map

package/dist/dimensional/metric.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metric.js","sourceRoot":"","sources":["../../src/dimensional/metric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAU9C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,MAAM,CACpB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,SAAiB,EACjB,kBAAqD;IAErD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC7D,IAAI,kBAAkB,KAAK,SAAS;QAAE,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,UAAkB,EAClB,UAAkB,EAClB,MAAiB,aAAa;IAE9B,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE;YACxC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE;SACzC;QACD,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CACpB,EAAY,EACZ,GAAa,EACb,QAAwB;IAExB,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED;;4DAE4D;AAC5D,MAAM,2BAA4B,SAAQ,QAAQ;IAChD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;QAC1C,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,2BAA2B,CAAC,SAAS,CAAC,CAAC;IACrE,CAAC;CACF;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,IAAc;IAC5C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACjD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;aAC5C,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,KAAK,CACnB,OAAiB,EACjB,QAA0B,EAC1B,KAAa;IAEb,IACE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QACxC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EACxC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,QAAQ,CAAC,IAAI,EACb,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,wCAAwC;YAC9D,yBAAyB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,uCAAuC;YAC7D,qDAAqD,CACxD,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,oEAAoE;IACpE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE7D,MAAM,eAAe,GAAqB;QACxC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;YAC5B,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;SACtC;QACD,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,GAAG,EAAE,QAAQ,CAAC,GAAG;KAClB,CAAC;IACF,IAAI,QAAQ,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAC7C,eAA8E,CAAC,kBAAkB;YAChG,QAAQ,CAAC,kBAAkB,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CACnB,OAAiB,EACjB,CAAmB,EACnB,KAAa;IAEb,IACE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QACjC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EACjC,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,CAAC,CAAC,IAAI,EACN,sEAAsE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,wCAAwC;YAC9D,yBAAyB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,GAAG,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,2BAA2B,CACnC,mBAAmB,KAAK,uCAAuC;YAC7D,qDAAqD,CACxD,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAEtD,MAAM,QAAQ,GAAqB;QACjC,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;YAC5B,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE;SACtC;QACD,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,GAAG,EAAE,CAAC,CAAC,GAAG;KACX,CAAC;IACF,IAAI,CAAC,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACtC,QAAgE,CAAC,kBAAkB;YAClF,CAAC,CAAC,kBAAkB,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;AAC/D,CAAC"}

package/dist/dimensional/tensor.d.ts

@@ -0,0 +1,153 @@
+/**
+ * Tensor AST node types and helpers — v0.2.0 algebra layer.
+ *
+ * Adds the two new ExprNode discriminated-union variants:
+ *   - 'tensor-symbol': a named tensor with variance-typed indices
+ *   - 'tensor-product': Einstein-summation product over tensor and scalar operands
+ *
+ * Per docs/specification/Part-VII-Tensor-Algebra.md §VII.1 and §VII.4.
+ *
+ * @module dimensional/tensor
+ */
+import type { Dimension } from './types.js';
+import type { ExprNode } from './validator.js';
+export type Variance = 'upper' | 'lower';
+export type Role = 'coordinate' | 'field' | 'constant';
+export interface TensorIndex {
+    readonly label: string;
+    readonly variance: Variance;
+}
+export interface TensorSymbolNode {
+    readonly kind: 'tensor-symbol';
+    readonly name: string;
+    readonly indices: ReadonlyArray<TensorIndex>;
+    readonly dim: Dimension;
+    /**
+     * Semantic classification of the tensor, used by v0.3.0+ work
+     * (e.g., partial-derivative dispatch). Defaults to 'field' when
+     * omitted. v0.2.0 treats this as structural metadata only —
+     * no validator behavior depends on it. Per Part-VII §VII.8.
+     */
+    readonly role?: Role;
+    /**
+     * v0.3.5 numerical backend: which differentiation strategy the numerical
+     * pderiv dispatcher uses when this symbol is the `of` operand of a
+     * tensor-partial-derivative. Defaults to 'symbolic' when omitted — so
+     * every v0.3.0/v0.3.1 AST is a valid v0.3.5 AST. See v0.3.5-Design.md §6.
+     */
+    readonly numericalForm?: 'symbolic' | 'numerical-fn' | 'grid';
+}
+export interface TensorProductNode {
+    readonly kind: 'tensor-product';
+    readonly args: ReadonlyArray<ExprNode>;
+}
+/**
+ * The kind tags this module contributes to the ExprNode union. Used by
+ * validator.ts to compose the full discriminated union via re-export.
+ */
+export type TensorExprNode = TensorSymbolNode | TensorProductNode;
+/**
+ * Result shape returned by `validateTensorSymbol`. A minimal carrier for
+ * the inferred per-component dimension plus the free-indices map built
+ * from the declared indices. The validator's `infer()` adapts this back
+ * into its `Dimension | null` return shape and merges `freeIndices` into
+ * the outer accumulator.
+ */
+export interface TensorSymbolValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a tensor-symbol node. Builds the freeIndices map from the
+ * declared indices, with one upper / one lower count per label.
+ *
+ * Throws `DuplicateIndexLabelError` if the indices list contains the same
+ * label more than once (e.g., T^μ_μ_μ). Per Part-VII §VII.4
+ * (repeated-dummy-label-in-tensor-symbol-rejected TENSOR-RULE).
+ *
+ * The function is pure: no I/O, no shared state, total over its input
+ * (modulo the documented throw). Callers (validator.ts `infer()`) thread
+ * the returned freeIndices map up into their accumulator.
+ */
+export declare function validateTensorSymbol(node: TensorSymbolNode): TensorSymbolValidationResult;
+/**
+ * Result of a tensor-product contraction over a set of operands.
+ *
+ * Re-exported as part of v0.2.0's TensorJS forward-compatibility contract
+ * (§14.2 of v0.2.0-Design.md). The future mathjs / TensorJS numerical
+ * backend will call `computeContraction` with the same operand list, pair
+ * the returned `contractionPairs` with its own einsum-pattern compiler,
+ * and multiply concrete numerical tensors using its dimensions.
+ */
+export interface ContractionResult {
+    /** Resulting per-component dimension (product of operand dims). */
+    readonly dim: Dimension;
+    /** Free indices remaining after Einstein contraction. */
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+    /** Labels that were contracted (one upper + one lower pair per entry). */
+    readonly contractionPairs: ReadonlyArray<{
+        label: string;
+    }>;
+}
+/**
+ * Per-child validation result the caller of `computeContraction` must
+ * supply through the `validateChild` callback. Mirrors the local-Map
+ * convention pioneered by `validateTensorSymbol`: the child reports its
+ * inferred dimension plus a map of label → {upper, lower} counts that
+ * `computeContraction` merges and reduces.
+ */
+export interface ChildValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Pure function that computes the dimension, free-indices map, and
+ * contraction pairs for a tensor-product over the given operands.
+ *
+ * The function is pure and module-cycle-free: it does NOT import
+ * `validator.ts`. Recursion is injected via the `validateChild` callback
+ * — the caller (typically validator.ts's `infer()` dispatch) supplies a
+ * resolver that returns `{dim, freeIndices}` for each child node. The
+ * caller is responsible for handling all `ExprNode` kinds in its callback
+ * (scalars, tensor-symbols, nested tensor-products, etc.).
+ *
+ * Critically, the per-child freeIndices maps returned by `validateChild`
+ * MUST be local to that child (not shared mutable state). This is what
+ * makes nested tensor-products safe: an inner tensor-product reports its
+ * post-contraction residual free indices as a local map, and the outer
+ * call merges those without ever touching shared accumulator state.
+ *
+ * Re-exported for the future mathjs backend per v0.2.0-Design.md §14.2.
+ *
+ * **v0.2.0 limitation — implicit identity metric.** The contraction
+ * mechanism here assumes one upper index `μ` paired with one lower index
+ * `μ` annihilate (Kronecker delta convention). v0.3.0's metric layer
+ * will introduce explicit g_μν / g^μν for raising and lowering — at
+ * which point this function's hard-coded pairing rule must generalize
+ * to "find labels with mismatched variance, raise/lower via the metric,
+ * then contract." Forward-compat callers should NOT assume the v0.2.0
+ * rule is permanent.
+ *
+ * Throws:
+ *   - IndexLabelCollisionError if any label appears > 2 times total.
+ *   - VarianceMismatchError if a label appears twice with same variance.
+ */
+export declare function computeContraction(args: ReadonlyArray<ExprNode>, validateChild: (node: ExprNode) => ChildValidationResult): ContractionResult;
+/** Construct a tensor-symbol node. */
+export declare function tsym(name: string, indices: ReadonlyArray<TensorIndex>, dim: Dimension, role?: Role, numericalForm?: 'symbolic' | 'numerical-fn' | 'grid'): TensorSymbolNode;
+/** Scale a tensor by a scalar coefficient. Returns a tensor-product. */
+export declare function scale(scalar: ExprNode, tensor: ExprNode): TensorProductNode;
+/** Contract any number of operands. Returns a tensor-product. */
+export declare function contract(...args: ExprNode[]): TensorProductNode;
+/** Tensor sum via op '+'. Validator enforces matching free indices. */
+export declare function tsum(...args: ExprNode[]): ExprNode;
+//# sourceMappingURL=tensor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tensor.d.ts","sourceRoot":"","sources":["../../src/dimensional/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAO5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAO/C,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;AACzC,MAAM,MAAM,IAAI,GAAG,YAAY,GAAG,OAAO,GAAG,UAAU,CAAC;AAEvD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED,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,GAAG,EAAE,SAAS,CAAC;IACxB;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,UAAU,GAAG,cAAc,GAAG,MAAM,CAAC;CAC/D;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAElE;;;;;;GAMG;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;CACrE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,gBAAgB,GACrB,4BAA4B,CAY9B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC,mEAAmE;IACnE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,yDAAyD;IACzD,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC7D;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,EAC7B,aAAa,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,qBAAqB,GACvD,iBAAiB,CA8CnB;AAED,sCAAsC;AACtC,wBAAgB,IAAI,CAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,EACnC,GAAG,EAAE,SAAS,EACd,IAAI,CAAC,EAAE,IAAI,EACX,aAAa,CAAC,EAAE,UAAU,GAAG,cAAc,GAAG,MAAM,GACnD,gBAAgB,CAYlB;AAED,wEAAwE;AACxE,wBAAgB,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,iBAAiB,CAE3E;AAED,iEAAiE;AACjE,wBAAgB,QAAQ,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,iBAAiB,CAE/D;AAED,uEAAuE;AACvE,wBAAgB,IAAI,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAElD"}