universal-physics-tensor 0.5.1 → 0.7.1

package/dist/dimensional/tensor-trace.d.ts

@@ -0,0 +1,128 @@
+/**
+ * TensorTraceNode — structural tensor-trace operator for rank-2 tensors.
+ *
+ * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md` §"BE-13 —
+ * TensorTraceNode for the Einstein trace". First of four BE-X re-encoding
+ * primitives planned for the v0.7 sprint.
+ *
+ * Represents the contraction
+ *
+ *     T = T^μ_μ = g^μν T_μν
+ *
+ * where `g^μν` is the inverse metric (upper-upper, dimensionless) and
+ * `T_μν` is a rank-2 lower-lower tensor (e.g., the stress-energy tensor).
+ * The result is a scalar whose SI dimension equals the component dimension
+ * of the tensor being traced (the inverse metric is dimensionless, so it
+ * passes the tensor's dimension through unchanged).
+ *
+ * This node is a PREDICATE node in the same family as
+ * `EinsteinFieldEquationNode` and `KleinGordonEquationNode` — not a
+ * value-producing expression. It documents the structural relationship
+ * "this scalar arose by contracting a rank-2 tensor with the inverse
+ * metric" so that downstream symbolic consumers (bridge cross-validators,
+ * dimensional-signature catalog round-trips) can inspect the trace
+ * structure rather than treating it as an opaque stub symbol.
+ *
+ * @module dimensional/tensor-trace
+ */
+import type { Dimension } from './types.js';
+import type { MetricTensorNode } from './metric-validators.js';
+/**
+ * Minimal interface for rank-2 tensors that can be traced via
+ * `TensorTraceNode`. Any rank-2 lower-lower node satisfies this:
+ * `TensorSymbolNode` (with `.dim` aliased to `componentDim` by callers),
+ * `StressEnergyTensorNode`, or custom rank-2 nodes.
+ *
+ * Fields:
+ *   - `indices`      — Exactly two index slots; each must carry `variance: 'lower'`.
+ *   - `componentDim` — SI dimension of a single component of the tensor.
+ *   - `symmetry`     — Symmetry tag (`'symmetric'`, `'antisymmetric'`,
+ *                      `'none'`, or other string). Checked to be
+ *                      `'symmetric'` by `validateTensorTrace`'s default
+ *                      predicate (physical stress-energy and Ricci tensors
+ *                      are symmetric; caller may override via the options
+ *                      argument if tracing a non-symmetric rank-2 tensor).
+ *
+ * @public
+ */
+export interface TracableTensorNode {
+    readonly indices: ReadonlyArray<{
+        readonly variance: string;
+    }>;
+    readonly componentDim: Dimension;
+    readonly symmetry: string;
+}
+/**
+ * AST node for the trace operation `T = g^μν T_μν`.
+ *
+ * Fields:
+ *   - `tensor`  — The rank-2 lower-lower tensor being traced (e.g., `T_μν`).
+ *   - `metric`  — The inverse metric `g^μν` (rank-2 upper-upper,
+ *                 dimensionless) used for the contraction.
+ *
+ * The resulting scalar has `dim = tensor.componentDim` (the inverse metric
+ * is dimensionless, so the trace carries the tensor's component dimension
+ * unchanged).
+ *
+ * @public
+ */
+export interface TensorTraceNode {
+    /** Discriminator: 'tensor-trace'. */
+    readonly kind: 'tensor-trace';
+    /** The rank-2 lower-lower tensor being traced. */
+    readonly tensor: TracableTensorNode;
+    /** The inverse metric `g^μν` supplying the upper-upper contraction. */
+    readonly metric: MetricTensorNode;
+}
+/**
+ * Result of validating a `TensorTraceNode`. The trace collapses all
+ * free indices — the result is a scalar.
+ *
+ * @public
+ */
+export interface TensorTraceValidationResult {
+    /** SI dimension of the resulting scalar. Equals `tensor.componentDim`. */
+    readonly dim: Dimension;
+    /** Empty free-indices map (trace is rank-0). */
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Options for `validateTensorTrace`.
+ *
+ * @public
+ */
+export interface TensorTraceOptions {
+    /**
+     * Expected symmetry of the tensor being traced. Defaults to
+     * `'symmetric'` (appropriate for T_μν, R_μν, G_μν, etc.). Pass a
+     * different value if tracing a non-symmetric rank-2 tensor.
+     */
+    readonly expectedTensorSymmetry?: string;
+}
+/**
+ * Validate a `tensor-trace` node.
+ *
+ * Three structural predicates (using the field-equation-helpers pattern):
+ *
+ *   1. **Index variance** — `tensor.indices` must be exactly 2, each
+ *      `variance === 'lower'` (rank-2 lower-lower). Error keyword: `"index"`.
+ *   2. **Metric variance** — `metric.indices` must be exactly 2, each
+ *      `variance === 'upper'` (rank-2 upper-upper inverse form). The metric
+ *      must be dimensionless; error keyword: `"dimension"`.
+ *   3. **Tensor symmetry** — `tensor.symmetry` must equal the expected
+ *      symmetry (default `'symmetric'`). Error keyword: `"symmetry"`.
+ *
+ * Returns the scalar result dimension (`tensor.componentDim`) with an
+ * empty `freeIndices` map.
+ *
+ * Errors carry the keywords `"index"`, `"dimension"`, or `"symmetry"` per
+ * the field-equation-helpers error-vocabulary convention, so consumer
+ * pattern-matching on those strings stays consistent across equation nodes.
+ *
+ * @public
+ */
+export declare function validateTensorTrace(node: TensorTraceNode, options?: TensorTraceOptions): TensorTraceValidationResult;
+//# sourceMappingURL=tensor-trace.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tensor-trace.d.ts","sourceRoot":"","sources":["../../src/dimensional/tensor-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAU/D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAMD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,eAAe;IAC9B,qCAAqC;IACrC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC;AAMD;;;;;GAKG;AACH,MAAM,WAAW,2BAA2B;IAC1C,0EAA0E;IAC1E,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAMD;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC;;;;OAIG;IACH,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAC1C;AAOD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,eAAe,EACrB,OAAO,GAAE,kBAAuB,GAC/B,2BAA2B,CAkE7B"}

package/dist/dimensional/tensor-trace.js

@@ -0,0 +1,95 @@
+/**
+ * TensorTraceNode — structural tensor-trace operator for rank-2 tensors.
+ *
+ * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md` §"BE-13 —
+ * TensorTraceNode for the Einstein trace". First of four BE-X re-encoding
+ * primitives planned for the v0.7 sprint.
+ *
+ * Represents the contraction
+ *
+ *     T = T^μ_μ = g^μν T_μν
+ *
+ * where `g^μν` is the inverse metric (upper-upper, dimensionless) and
+ * `T_μν` is a rank-2 lower-lower tensor (e.g., the stress-energy tensor).
+ * The result is a scalar whose SI dimension equals the component dimension
+ * of the tensor being traced (the inverse metric is dimensionless, so it
+ * passes the tensor's dimension through unchanged).
+ *
+ * This node is a PREDICATE node in the same family as
+ * `EinsteinFieldEquationNode` and `KleinGordonEquationNode` — not a
+ * value-producing expression. It documents the structural relationship
+ * "this scalar arose by contracting a rank-2 tensor with the inverse
+ * metric" so that downstream symbolic consumers (bridge cross-validators,
+ * dimensional-signature catalog round-trips) can inspect the trace
+ * structure rather than treating it as an opaque stub symbol.
+ *
+ * @module dimensional/tensor-trace
+ */
+import { validateComponentDimension, validateTensorSymmetry, } from './field-equation-helpers.js';
+/** The SI dimension of a dimensionless metric g^μν: all zeros. */
+const DIMENSIONLESS_DIM = {
+    L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * Validate a `tensor-trace` node.
+ *
+ * Three structural predicates (using the field-equation-helpers pattern):
+ *
+ *   1. **Index variance** — `tensor.indices` must be exactly 2, each
+ *      `variance === 'lower'` (rank-2 lower-lower). Error keyword: `"index"`.
+ *   2. **Metric variance** — `metric.indices` must be exactly 2, each
+ *      `variance === 'upper'` (rank-2 upper-upper inverse form). The metric
+ *      must be dimensionless; error keyword: `"dimension"`.
+ *   3. **Tensor symmetry** — `tensor.symmetry` must equal the expected
+ *      symmetry (default `'symmetric'`). Error keyword: `"symmetry"`.
+ *
+ * Returns the scalar result dimension (`tensor.componentDim`) with an
+ * empty `freeIndices` map.
+ *
+ * Errors carry the keywords `"index"`, `"dimension"`, or `"symmetry"` per
+ * the field-equation-helpers error-vocabulary convention, so consumer
+ * pattern-matching on those strings stays consistent across equation nodes.
+ *
+ * @public
+ */
+export function validateTensorTrace(node, options = {}) {
+    const expectedSymmetry = options.expectedTensorSymmetry ?? 'symmetric';
+    // Predicate 1a: tensor must be rank-2.
+    if (node.tensor.indices.length !== 2) {
+        throw new Error(`TensorTraceNode: index rank error — tensor must be rank-2 ` +
+            `(got rank-${node.tensor.indices.length}). ` +
+            `Only rank-2 lower-lower tensors can be traced via g^μν contraction.`);
+    }
+    // Predicate 1b: both tensor index slots must be lower.
+    for (let i = 0; i < node.tensor.indices.length; i++) {
+        const idx = node.tensor.indices[i];
+        if (idx.variance !== 'lower') {
+            throw new Error(`TensorTraceNode: index variance error — tensor.indices[${i}] ` +
+                `must have variance 'lower' (got '${idx.variance}'). ` +
+                `The trace g^μν T_μν requires T to be lower-lower.`);
+        }
+    }
+    // Predicate 2a: metric must be rank-2.
+    if (node.metric.indices.length !== 2) {
+        throw new Error(`TensorTraceNode: index rank error — metric must be rank-2 ` +
+            `(got rank-${node.metric.indices.length}).`);
+    }
+    // Predicate 2b: both metric index slots must be upper.
+    for (let i = 0; i < node.metric.indices.length; i++) {
+        const idx = node.metric.indices[i];
+        if (idx.variance !== 'upper') {
+            throw new Error(`TensorTraceNode: index variance error — metric.indices[${i}] ` +
+                `must have variance 'upper' (got '${idx.variance}'). ` +
+                `The inverse metric g^μν must be upper-upper for the contraction.`);
+        }
+    }
+    // Predicate 2c: the inverse metric must be dimensionless.
+    validateComponentDimension('TensorTraceNode', 'metric (g^μν) dim', node.metric.dim, DIMENSIONLESS_DIM, 'The inverse metric g^μν is dimensionless; the trace dimension equals the tensor component dimension.');
+    // Predicate 3: tensor symmetry check.
+    validateTensorSymmetry('TensorTraceNode', 'tensor', node.tensor.symmetry, expectedSymmetry, `Physical rank-2 tensors eligible for Einstein-trace contraction are ${expectedSymmetry}.`);
+    return {
+        dim: node.tensor.componentDim,
+        freeIndices: new Map(),
+    };
+}
+//# sourceMappingURL=tensor-trace.js.map

package/dist/dimensional/tensor-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tensor-trace.js","sourceRoot":"","sources":["../../src/dimensional/tensor-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,OAAO,EACL,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AA4FrC,kEAAkE;AAClE,MAAM,iBAAiB,GAAc;IACnC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,UAA8B,EAAE;IAEhC,MAAM,gBAAgB,GAAG,OAAO,CAAC,sBAAsB,IAAI,WAAW,CAAC;IAEvE,uCAAuC;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,4DAA4D;YAC5D,aAAa,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK;YAC5C,qEAAqE,CACtE,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,0DAA0D,CAAC,IAAI;gBAC/D,oCAAoC,GAAG,CAAC,QAAQ,MAAM;gBACtD,mDAAmD,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,4DAA4D;YAC5D,aAAa,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAC5C,CAAC;IACJ,CAAC;IAED,uDAAuD;IACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CACb,0DAA0D,CAAC,IAAI;gBAC/D,oCAAoC,GAAG,CAAC,QAAQ,MAAM;gBACtD,kEAAkE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,0BAA0B,CACxB,iBAAiB,EACjB,mBAAmB,EACnB,IAAI,CAAC,MAAM,CAAC,GAAG,EACf,iBAAiB,EACjB,sGAAsG,CACvG,CAAC;IAEF,sCAAsC;IACtC,sBAAsB,CACpB,iBAAiB,EACjB,QAAQ,EACR,IAAI,CAAC,MAAM,CAAC,QAAQ,EACpB,gBAAgB,EAChB,uEAAuE,gBAAgB,GAAG,CAC3F,CAAC;IAEF,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY;QAC7B,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC"}

package/dist/dimensional/tensor.d.ts

@@ -41,11 +41,6 @@ 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
@@ -53,7 +48,7 @@ export type TensorExprNode = TensorSymbolNode | TensorProductNode;
  * into its `Dimension | null` return shape and merges `freeIndices` into
  * the outer accumulator.
  */
-export interface TensorSymbolValidationResult {
+interface TensorSymbolValidationResult {
     readonly dim: Dimension;
     readonly freeIndices: Map<string, {
         upper: number;
@@ -82,7 +77,7 @@ export declare function validateTensorSymbol(node: TensorSymbolNode): TensorSymb
  * the returned `contractionPairs` with its own einsum-pattern compiler,
  * and multiply concrete numerical tensors using its dimensions.
  */
-export interface ContractionResult {
+interface ContractionResult {
     /** Resulting per-component dimension (product of operand dims). */
     readonly dim: Dimension;
     /** Free indices remaining after Einstein contraction. */
@@ -144,10 +139,13 @@ export interface ChildValidationResult {
 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. */
+/** Scale a tensor by a scalar coefficient. Returns a tensor-product.
+ *
+ *  @public */
 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;
+export {};
 //# sourceMappingURL=tensor.d.ts.map

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

@@ -1 +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,CAkDnB;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"}
+{"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;;;;;;GAMG;AAIH,UAAU,4BAA4B;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;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,gBAAgB,GACrB,4BAA4B,CAY9B;AAED;;;;;;;;GAQG;AAIH,UAAU,iBAAiB;IACzB,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,CAkDnB;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;;cAEc;AACd,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"}

package/dist/dimensional/tensor.js

@@ -128,7 +128,9 @@ export function tsym(name, indices, dim, role, numericalForm) {
         node.numericalForm = numericalForm;
     return node;
 }
-/** Scale a tensor by a scalar coefficient. Returns a tensor-product. */
+/** Scale a tensor by a scalar coefficient. Returns a tensor-product.
+ *
+ *  @public */
 export function scale(scalar, tensor) {
     return { kind: 'tensor-product', args: [scalar, tensor] };
 }

package/dist/dimensional/tensor.js.map

@@ -1 +1 @@
-{"version":3,"file":"tensor.js","sourceRoot":"","sources":["../../src/dimensional/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAMxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAsDrB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,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;AAgCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAA6B,EAC7B,aAAwD;IAExD,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,GAAG,GAAc,aAAa,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IAEnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;gBACpC,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,gBAAgB,GAAwB,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACxD,MAAM,IAAI,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;gBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACjE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;gBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,4EAA4E;IAC5E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEnD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AACxD,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,IAAI,CAClB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,IAAW,EACX,aAAoD;IAEpD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,KAAK,CAAC,MAAgB,EAAE,MAAgB;IACtD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAgB;IAC1C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAAC,GAAG,IAAgB;IACtC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC"}
+{"version":3,"file":"tensor.js","sourceRoot":"","sources":["../../src/dimensional/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAMxC,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AAgErB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,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;AAmCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAA6B,EAC7B,aAAwD;IAExD,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,GAAG,GAAc,aAAa,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4C,CAAC;IAEnE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;gBACpC,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,gBAAgB,GAAwB,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC1C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YACxD,MAAM,IAAI,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;gBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACjE,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE;gBAChB,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;gBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,GAAG,KAAK;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,4EAA4E;IAC5E,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEnD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;AACxD,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,IAAI,CAClB,IAAY,EACZ,OAAmC,EACnC,GAAc,EACd,IAAW,EACX,aAAoD;IAEpD,MAAM,IAAI,GAON,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;IACpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;cAEc;AACd,MAAM,UAAU,KAAK,CAAC,MAAgB,EAAE,MAAgB;IACtD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,QAAQ,CAAC,GAAG,IAAgB;IAC1C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAAC,GAAG,IAAgB;IACtC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC"}

package/dist/dimensional/validator-registry.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Validator registry for curvature- and GR-object node kinds.
+ *
+ * Extracted from `validator.ts`'s `infer()` switch in v0.6.1 Phase 2.
+ * Eleven `infer()` arms — `riemann-tensor`, `ricci-tensor`, `einstein-
+ * tensor`, `bianchi-residual`, `killing-vector`, `conserved-charge`,
+ * `stress-energy`, `cosmological-constant`, `einstein-equation`,
+ * `weyl-tensor`, `kretschmann-scalar` — all follow the same shape
+ * (call a `validateX(...)` function, then either propagate the
+ * returned `freeIndices` into the parent context or skip the merge
+ * for scalar kinds). Capturing that shape in a registry eliminates
+ * 11×~10 LOC of boilerplate in `validator.ts` and makes the per-arm
+ * pattern explicit at the registry-definition site.
+ *
+ * **Three patterns**, per the Adam+Eve adversarial review of the
+ * v0.6.1 Design (S2): a naive `propagateFreeIndices: boolean` flag is
+ * insufficient — three arms (`ricci-tensor`, `einstein-tensor`,
+ * `bianchi-residual`) pass a riemann-child closure into their
+ * validator, while the other eight do not. The pattern tag captures
+ * this asymmetry exhaustively:
+ *
+ * - **Pattern A** — `validateX(node)`, propagate freeIndices.
+ *   Used by: `riemann-tensor`, `killing-vector`, `stress-energy`,
+ *   `einstein-equation`, `weyl-tensor`.
+ *
+ * - **Pattern B** — `validateX(node, riemannCallback)`, propagate
+ *   freeIndices. Used by: `ricci-tensor`, `einstein-tensor`,
+ *   `bianchi-residual`. The callback re-validates an embedded
+ *   Riemann sub-node so its signature checks fire while only the
+ *   outer (post-contraction) free indices propagate to the parent.
+ *
+ * - **Pattern C** — `validateX(node)`, freeIndices is empty (scalar
+ *   result); skip the merge loop entirely. Used by:
+ *   `conserved-charge`, `cosmological-constant`, `kretschmann-scalar`.
+ *
+ * The discriminated union type below makes adding a new GR-object
+ * node-kind a compile-time decision: the new entry must explicitly
+ * declare its pattern, or TypeScript will fail to typecheck the
+ * registry. This guards against the v0.5.0 ricci-slot-bug shape
+ * (silent miscompute when a new arm follows the "wrong" pattern by
+ * default).
+ *
+ * @module dimensional/validator-registry
+ */
+import type { Dimension } from './types.js';
+import { type RiemannChildCallback } from './curvature.js';
+/** Shape of every `validateX` result the registry dispatches over. */
+type ValidatorResult = {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+};
+/** Discriminated-union entry per node-kind. */
+type ValidatorEntry = {
+    pattern: 'A';
+    validator: (node: never) => ValidatorResult;
+} | {
+    pattern: 'B';
+    validator: (node: never, cb: RiemannChildCallback) => ValidatorResult;
+} | {
+    pattern: 'C';
+    validator: (node: never) => ValidatorResult;
+};
+/**
+ * Look up the registry entry for a node-kind, returning `undefined`
+ * for kinds not covered by this registry (the caller falls through
+ * to its own switch arms or the default exhaustiveness guard).
+ */
+export declare function lookupValidatorEntry(kind: string): ValidatorEntry | undefined;
+/**
+ * Apply the registry-dispatched validator to a node. The caller
+ * (validator.ts's `infer()`) is responsible for merging the returned
+ * `freeIndices` into its context.
+ *
+ * Returns the validator's full result so the caller can decide
+ * whether to merge or skip per the pattern tag. (Pattern C's result
+ * still has a `freeIndices` field — empty Map — for shape uniformity;
+ * the merge loop is a no-op rather than a missing field.)
+ */
+export declare function dispatchValidator(entry: ValidatorEntry, node: unknown): ValidatorResult;
+/**
+ * Returns true if the entry's pattern propagates freeIndices to the
+ * parent context. Patterns A and B propagate; pattern C skips
+ * (scalar result).
+ */
+export declare function shouldPropagateFreeIndices(entry: ValidatorEntry): boolean;
+export {};
+//# sourceMappingURL=validator-registry.d.ts.map

package/dist/dimensional/validator-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-registry.d.ts","sourceRoot":"","sources":["../../src/dimensional/validator-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,EAIL,KAAK,oBAAoB,EAC1B,MAAM,gBAAgB,CAAC;AAOxB,sEAAsE;AACtE,KAAK,eAAe,GAAG;IACrB,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,CAAC;AAqCF,+CAA+C;AAC/C,KAAK,cAAc,GACf;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,eAAe,CAAA;CAAE,GAC7D;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,oBAAoB,KAAK,eAAe,CAAA;CAAE,GACvF;IAAE,OAAO,EAAE,GAAG,CAAC;IAAC,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,eAAe,CAAA;CAAE,CAAC;AA0BlE;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE7E;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,OAAO,GACZ,eAAe,CAejB;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAEzE"}

package/dist/dimensional/validator-registry.js

@@ -0,0 +1,131 @@
+/**
+ * Validator registry for curvature- and GR-object node kinds.
+ *
+ * Extracted from `validator.ts`'s `infer()` switch in v0.6.1 Phase 2.
+ * Eleven `infer()` arms — `riemann-tensor`, `ricci-tensor`, `einstein-
+ * tensor`, `bianchi-residual`, `killing-vector`, `conserved-charge`,
+ * `stress-energy`, `cosmological-constant`, `einstein-equation`,
+ * `weyl-tensor`, `kretschmann-scalar` — all follow the same shape
+ * (call a `validateX(...)` function, then either propagate the
+ * returned `freeIndices` into the parent context or skip the merge
+ * for scalar kinds). Capturing that shape in a registry eliminates
+ * 11×~10 LOC of boilerplate in `validator.ts` and makes the per-arm
+ * pattern explicit at the registry-definition site.
+ *
+ * **Three patterns**, per the Adam+Eve adversarial review of the
+ * v0.6.1 Design (S2): a naive `propagateFreeIndices: boolean` flag is
+ * insufficient — three arms (`ricci-tensor`, `einstein-tensor`,
+ * `bianchi-residual`) pass a riemann-child closure into their
+ * validator, while the other eight do not. The pattern tag captures
+ * this asymmetry exhaustively:
+ *
+ * - **Pattern A** — `validateX(node)`, propagate freeIndices.
+ *   Used by: `riemann-tensor`, `killing-vector`, `stress-energy`,
+ *   `einstein-equation`, `weyl-tensor`.
+ *
+ * - **Pattern B** — `validateX(node, riemannCallback)`, propagate
+ *   freeIndices. Used by: `ricci-tensor`, `einstein-tensor`,
+ *   `bianchi-residual`. The callback re-validates an embedded
+ *   Riemann sub-node so its signature checks fire while only the
+ *   outer (post-contraction) free indices propagate to the parent.
+ *
+ * - **Pattern C** — `validateX(node)`, freeIndices is empty (scalar
+ *   result); skip the merge loop entirely. Used by:
+ *   `conserved-charge`, `cosmological-constant`, `kretschmann-scalar`.
+ *
+ * The discriminated union type below makes adding a new GR-object
+ * node-kind a compile-time decision: the new entry must explicitly
+ * declare its pattern, or TypeScript will fail to typecheck the
+ * registry. This guards against the v0.5.0 ricci-slot-bug shape
+ * (silent miscompute when a new arm follows the "wrong" pattern by
+ * default).
+ *
+ * @module dimensional/validator-registry
+ */
+import { validateRiemannTensor } from './connection-validators.js';
+import { validateRicciTensor, validateEinsteinTensor, validateBianchiResidual, } from './curvature.js';
+import { validateKillingVector, validateConservedCharge } from './killing-validators.js';
+import { validateStressEnergyTensor, validateCosmologicalConstant } from './stress-energy-validators.js';
+import { validateEinsteinFieldEquation } from './einstein-equation.js';
+import { validateWeylTensor } from './weyl-validators.js';
+import { validateKretschmannScalar } from './curvature-invariants.js';
+/**
+ * The canonical riemann-child callback used by all pattern-B
+ * validators. Re-validates an embedded Riemann sub-node so its
+ * structural checks fire, and forwards the result as
+ * `{dim, freeIndices}` (without the result's `violations` list,
+ * because pattern-B validators handle merging themselves).
+ *
+ * Uses the `RiemannChildCallback` type re-exported from
+ * `curvature.ts` (v0.7.1 Phase 4 Task 4.2 — consolidates the
+ * three identical inline callback shapes across the pattern-B
+ * validators into a single named alias).
+ */
+const riemannChildCallback = (riemannChild) => {
+    const rr = validateRiemannTensor(riemannChild);
+    return { dim: rr.dim, freeIndices: rr.freeIndices };
+};
+/**
+ * The registry. Indexed by `node.kind` for the 11 curvature/GR
+ * arms; misses are handled by the caller (validator.ts's `infer()`
+ * has a `default` arm for unknown kinds).
+ */
+const VALIDATOR_REGISTRY = {
+    // Pattern A — single-arg validator, propagate freeIndices.
+    'riemann-tensor': { pattern: 'A', validator: validateRiemannTensor },
+    'killing-vector': { pattern: 'A', validator: validateKillingVector },
+    'stress-energy': { pattern: 'A', validator: validateStressEnergyTensor },
+    'einstein-equation': { pattern: 'A', validator: validateEinsteinFieldEquation },
+    'weyl-tensor': { pattern: 'A', validator: validateWeylTensor },
+    // Pattern B — two-arg validator with riemann-child callback, propagate freeIndices.
+    'ricci-tensor': { pattern: 'B', validator: validateRicciTensor },
+    'einstein-tensor': { pattern: 'B', validator: validateEinsteinTensor },
+    'bianchi-residual': { pattern: 'B', validator: validateBianchiResidual },
+    // Pattern C — single-arg validator, scalar (skip freeIndices merge).
+    'conserved-charge': { pattern: 'C', validator: validateConservedCharge },
+    'cosmological-constant': { pattern: 'C', validator: validateCosmologicalConstant },
+    'kretschmann-scalar': { pattern: 'C', validator: validateKretschmannScalar },
+};
+/**
+ * Look up the registry entry for a node-kind, returning `undefined`
+ * for kinds not covered by this registry (the caller falls through
+ * to its own switch arms or the default exhaustiveness guard).
+ */
+export function lookupValidatorEntry(kind) {
+    return VALIDATOR_REGISTRY[kind];
+}
+/**
+ * Apply the registry-dispatched validator to a node. The caller
+ * (validator.ts's `infer()`) is responsible for merging the returned
+ * `freeIndices` into its context.
+ *
+ * Returns the validator's full result so the caller can decide
+ * whether to merge or skip per the pattern tag. (Pattern C's result
+ * still has a `freeIndices` field — empty Map — for shape uniformity;
+ * the merge loop is a no-op rather than a missing field.)
+ */
+export function dispatchValidator(entry, node) {
+    switch (entry.pattern) {
+        case 'A':
+            return entry.validator(node);
+        case 'B':
+            return entry.validator(node, riemannChildCallback);
+        case 'C':
+            return entry.validator(node);
+        default: {
+            // Exhaustiveness guard
+            const _exhaustive = entry;
+            void _exhaustive;
+            throw new Error(`validator-registry: unknown pattern in entry`);
+        }
+    }
+}
+/**
+ * Returns true if the entry's pattern propagates freeIndices to the
+ * parent context. Patterns A and B propagate; pattern C skips
+ * (scalar result).
+ */
+export function shouldPropagateFreeIndices(entry) {
+    return entry.pattern === 'A' || entry.pattern === 'B';
+}
+//# sourceMappingURL=validator-registry.js.map

package/dist/dimensional/validator-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-registry.js","sourceRoot":"","sources":["../../src/dimensional/validator-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,GAExB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AACzG,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAQtE;;;;;;;;;;;GAWG;AACH,MAAM,oBAAoB,GAAyB,CAAC,YAAY,EAAE,EAAE;IAClE,MAAM,EAAE,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAC/C,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC;AACtD,CAAC,CAAC;AA0BF;;;;GAIG;AACH,MAAM,kBAAkB,GAA4C;IAClE,2DAA2D;IAC3D,gBAAgB,EAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,qBAAyD,EAAE;IAC9G,gBAAgB,EAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,qBAAyD,EAAE;IAC9G,eAAe,EAAS,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA8D,EAAE;IACnH,mBAAmB,EAAK,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,6BAAiE,EAAE;IACtH,aAAa,EAAW,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,kBAAsD,EAAE;IAE3G,oFAAoF;IACpF,cAAc,EAAU,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,mBAAiF,EAAE;IACtI,iBAAiB,EAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,sBAAoF,EAAE;IACzI,kBAAkB,EAAM,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,uBAAqF,EAAE;IAE1I,qEAAqE;IACrE,kBAAkB,EAAM,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,uBAA2D,EAAE;IAChH,uBAAuB,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,4BAAgE,EAAE;IACtH,oBAAoB,EAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,yBAA6D,EAAE;CACnH,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAQ,kBAAqD,CAAC,IAAI,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAqB,EACrB,IAAa;IAEb,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC;QACtB,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,CAAC,CAAC;QACxC,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,EAAE,oBAAoB,CAAC,CAAC;QAC9D,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,CAAC,CAAC;QACxC,OAAO,CAAC,CAAC,CAAC;YACR,uBAAuB;YACvB,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC9D,OAAO,KAAK,CAAC,OAAO,KAAK,GAAG,IAAI,KAAK,CAAC,OAAO,KAAK,GAAG,CAAC;AACxD,CAAC"}

package/dist/dimensional/validator.d.ts

@@ -15,6 +15,11 @@ import type { TensorSymbolNode, TensorProductNode } from './tensor.js';
 import type { MetricTensorNode, KroneckerDeltaNode, TensorPartialDerivativeNode } from './metric-validators.js';
 import type { CovariantDerivativeNode, RiemannTensorNode } from './connection-validators.js';
 import type { RicciTensorNode, EinsteinTensorNode, BianchiResidualNode } from './curvature.js';
+import type { KillingVectorNode, ConservedChargeNode } from './killing-validators.js';
+import type { StressEnergyTensorNode, CosmologicalConstantNode } from './stress-energy-validators.js';
+import type { EinsteinFieldEquationNode } from './einstein-equation.js';
+import type { WeylTensorNode } from './weyl-validators.js';
+import type { KretschmannScalarNode } from './curvature-invariants.js';
 export type ExprNode = {
     kind: 'symbol';
     name: string;
@@ -31,11 +36,16 @@ export type ExprNode = {
     kind: 'derivative';
     of: ExprNode;
     wrt: ExprNode;
-} | TensorSymbolNode | TensorProductNode | MetricTensorNode | KroneckerDeltaNode | TensorPartialDerivativeNode | CovariantDerivativeNode | RiemannTensorNode | RicciTensorNode | EinsteinTensorNode | BianchiResidualNode;
-export type { TensorSymbolNode, TensorProductNode, TensorExprNode } from './tensor.js';
+} | TensorSymbolNode | TensorProductNode | MetricTensorNode | KroneckerDeltaNode | TensorPartialDerivativeNode | CovariantDerivativeNode | RiemannTensorNode | RicciTensorNode | EinsteinTensorNode | BianchiResidualNode | KillingVectorNode | ConservedChargeNode | StressEnergyTensorNode | CosmologicalConstantNode | EinsteinFieldEquationNode | WeylTensorNode | KretschmannScalarNode;
+export type { TensorSymbolNode, TensorProductNode } from './tensor.js';
 export type { MetricTensorNode, KroneckerDeltaNode, TensorPartialDerivativeNode, } from './metric-validators.js';
 export type { CovariantDerivativeNode, RiemannTensorNode, UpperIndex } from './connection-validators.js';
 export type { RicciTensorNode, EinsteinTensorNode, BianchiResidualNode } from './curvature.js';
+export type { KillingVectorNode, ConservedChargeNode } from './killing-validators.js';
+export type { StressEnergyTensorNode, CosmologicalConstantNode } from './stress-energy-validators.js';
+export type { EinsteinFieldEquationNode } from './einstein-equation.js';
+export type { WeylTensorNode } from './weyl-validators.js';
+export type { KretschmannScalarNode } from './curvature-invariants.js';
 export interface Violation {
     /** Tree path, e.g. "args[1].args[0]". Empty string for the root. */
     location: string;

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

@@ -1 +1 @@
-{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/dimensional/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,SAAS,EAEV,MAAM,YAAY,CAAC;AAgBpB,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAyB,MAAM,aAAa,CAAC;AAE9F,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAE5B,MAAM,wBAAwB,CAAC;AAOhC,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAE7F,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAG/F,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACnD,gBAAgB,GAChB,iBAAiB,GACjB,gBAAgB,GAChB,kBAAkB,GAClB,2BAA2B,GAC3B,uBAAuB,GACvB,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,mBAAmB,CAAC;AAGxB,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACvF,YAAY,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACzG,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE/F,MAAM,WAAW,SAAS;IACxB,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb;8EAC0E;IAC1E,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,iBAAiB,EAAE,SAAS,GAAG,IAAI,CAAC;IACpC;;qDAEiD;IACjD,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AA+hBD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CASzD;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,SAAS,EAAE,CAUb;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,CAyB/E"}
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/dimensional/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,SAAS,EAEV,MAAM,YAAY,CAAC;AAgBpB,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAyB,MAAM,aAAa,CAAC;AAE9F,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAE5B,MAAM,wBAAwB,CAAC;AAOhC,OAAO,KAAK,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAE7F,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACtF,OAAO,KAAK,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACtG,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAWvE,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAAC,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACnD,gBAAgB,GAChB,iBAAiB,GACjB,gBAAgB,GAChB,kBAAkB,GAClB,2BAA2B,GAC3B,uBAAuB,GACvB,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,mBAAmB,GACnB,iBAAiB,GACjB,mBAAmB,GACnB,sBAAsB,GACtB,wBAAwB,GACxB,yBAAyB,GACzB,cAAc,GACd,qBAAqB,CAAC;AAK1B,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACvE,YAAY,EACV,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACzG,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC/F,YAAY,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AACtF,YAAY,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACtG,YAAY,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACxE,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,YAAY,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,MAAM,WAAW,SAAS;IACxB,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb;8EAC0E;IAC1E,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,iBAAiB,EAAE,SAAS,GAAG,IAAI,CAAC;IACpC;;qDAEiD;IACjD,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AA6gBD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CASzD;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,SAAS,EAAE,CAUb;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,CAyB/E"}