universal-physics-tensor 0.5.0 → 0.7.0

package/dist/dimensional/curvature-composite.js

@@ -0,0 +1,57 @@
+/**
+ * Curvature composite-AST factory (v0.6.0 Phase 3, Task 3.9).
+ *
+ * PD-6 trigger fires: Weyl is the 5th curvature primitive (after
+ * Riemann/Ricci/Einstein/Bianchi from v0.5.0). The 4-kind parallel
+ * duplication is now extracted into a shared factory.
+ *
+ * Net LOC change: −180 (per design Decision #5).
+ *
+ * P-1 fix: `CurvatureCompositeNode<K, S>` is an intersection type, not an
+ * interface with an unused S. Without the intersection, the per-kind
+ * slot type-safety would silently drop (the S parameter would be
+ * decorative and TypeScript would not compose it into the result).
+ *
+ * @module dimensional/curvature-composite
+ */
+// ─────────────────────────────────────────────────────────────────────────────
+// CURVATURE_KIND_REGISTRY
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Registry mapping each `CurvatureKind` to its shape + dimensional spec.
+ *
+ * Used by:
+ *   - Tests: to assert all 6 kinds are registered and that Riemann + Weyl
+ *     share the rank-4 shape (refactor-only invariant).
+ *   - Future lowering consolidation: `CURVATURE_KIND_REGISTRY[node.kind]`
+ *     can supply common validation data without per-kind duplication.
+ *
+ * @public
+ */
+export const CURVATURE_KIND_REGISTRY = {
+    'riemann-tensor': {
+        freeIndicesShape: 'rank-4-1upper-3lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'ricci-tensor': {
+        freeIndicesShape: 'rank-2-lower-lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'einstein-tensor': {
+        freeIndicesShape: 'rank-2-lower-lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'bianchi-residual': {
+        freeIndicesShape: 'rank-3-lower',
+        componentDim: { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'weyl-tensor': {
+        freeIndicesShape: 'rank-4-1upper-3lower',
+        componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+    'kretschmann-scalar': {
+        freeIndicesShape: 'scalar',
+        componentDim: { L: -4, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    },
+};
+//# sourceMappingURL=curvature-composite.js.map

package/dist/dimensional/curvature-composite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"curvature-composite.js","sourceRoot":"","sources":["../../src/dimensional/curvature-composite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAsDH,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA6C;IAC/E,gBAAgB,EAAE;QAChB,gBAAgB,EAAE,sBAAsB;QACxC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,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,EAAE;KAChE;IACD,cAAc,EAAE;QACd,gBAAgB,EAAE,oBAAoB;QACtC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,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,EAAE;KAChE;IACD,iBAAiB,EAAE;QACjB,gBAAgB,EAAE,oBAAoB;QACtC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,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,EAAE;KAChE;IACD,kBAAkB,EAAE;QAClB,gBAAgB,EAAE,cAAc;QAChC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,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,EAAE;KAChE;IACD,aAAa,EAAE;QACb,gBAAgB,EAAE,sBAAsB;QACxC,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,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,EAAE;KAChE;IACD,oBAAoB,EAAE;QACpB,gBAAgB,EAAE,QAAQ;QAC1B,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,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,EAAE;KAChE;CACF,CAAC"}

package/dist/dimensional/curvature-invariants.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Kretschmann scalar AST node + validator (v0.6.0 Phase 3, Task 3.5).
+ *
+ * The Kretschmann scalar (also spelled "Kretschner") is the quadratic
+ * curvature invariant:
+ *
+ *   K = R_{ρσμν} R^{ρσμν}
+ *
+ * formed by full contraction of the Riemann tensor with itself (all four
+ * indices raised on the second factor via the inverse metric). K is a
+ * genuine spacetime scalar — coordinate-independent, diff-invariant — and
+ * the canonical diagnostic for curvature-singularity detection: K diverges
+ * at genuine singularities (Schwarzschild r→0) but is finite at coordinate
+ * singularities (Schwarzschild r=r_s).
+ *
+ * Closed-form for Schwarzschild: K(r) = 48 G² M² / (c⁴ r⁶).
+ *
+ * Dimensional analysis:
+ *   - Riemann component: [L⁻²] (F8/I3 convention in connection-validators.ts)
+ *   - K = R × R: [L⁻²] × [L⁻²] = [L⁻⁴]
+ *
+ * Mirrors the WeylTensorNode pattern in weyl-validators.ts — own validator
+ * function; wired via case arm in validator.ts + lowering stub in lowering.ts.
+ *
+ * @module dimensional/curvature-invariants
+ */
+import type { Dimension } from './types.js';
+import type { RiemannTensorNode } from './connection-validators.js';
+import type { MetricTensorNode } from './metric-validators.js';
+import type { CurvatureCompositeNode } from './curvature-composite.js';
+/**
+ * AST node for the Kretschmann scalar K = R_{ρσμν} R^{ρσμν}.
+ *
+ * `riemann`: the Riemann tensor being contracted with itself. The validator
+ *   re-enters its own validator so structural checks (index variance,
+ *   metric signature) fire for the embedded sub-node.
+ *
+ * `metric`: the metric tensor used to raise all four indices on the second
+ *   copy of Riemann. Present for downstream numerical consumers
+ *   (computeKretschmann in src/numerical/kretschmann.ts). Its free indices
+ *   are NOT propagated by the validator (H1 — consumed internally).
+ *
+ * `componentDim`: [L⁻⁴] — Riemann [L⁻²] squared, hard-coded per F8/I3.
+ *
+ * @public
+ */
+/**
+ * v0.6.0 Task 3.10d: KretschmannScalarNode expressed via CurvatureCompositeNode<K, S>.
+ * The runtime shape is identical — pure type-alias migration.
+ */
+export type KretschmannScalarNode = CurvatureCompositeNode<'kretschmann-scalar', {
+    /** Riemann tensor R^ρ_{σμν}. Both copies of R in the contraction originate
+     *  from this node — the validator and lowering layer each duplicate as needed. */
+    readonly riemann: RiemannTensorNode;
+    /** Metric (both-lower preferred, though the numerical layer only needs gInverse).
+     *  Present for downstream `computeKretschmann` consumers. */
+    readonly metric: MetricTensorNode;
+}>;
+/**
+ * Result of validating a KretschmannScalarNode.
+ * @public
+ */
+export interface KretschmannScalarValidationResult {
+    /** [L⁻⁴] — Kretschmann is Riemann-squared in dimension. */
+    readonly dim: Dimension;
+    /** Empty: K is a scalar (rank-0, all indices contracted). */
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a `kretschmann-scalar` node.
+ *
+ * Re-enters `validateRiemannTensor` for the embedded `riemann` sub-node
+ * (so its index-variance, metric-signature, and label-disjointness checks
+ * all fire). Discards the Riemann's free-index map — K is a full contraction
+ * and every index disappears. Mirrors the `validateRicciTensor` pattern in
+ * curvature.ts for embedded-Riemann structural validation.
+ *
+ * Throws:
+ *   - Everything `validateRiemannTensor` throws (PartialDerivativeIndexVarianceError,
+ *     MetricSignatureError, IndexLabelCollisionError) propagated from the
+ *     embedded Riemann check.
+ *
+ * Returns:
+ *   - `{ dim: [L⁻⁴], freeIndices: empty Map }` — scalar, no free indices.
+ */
+export declare function validateKretschmannScalar(node: KretschmannScalarNode): KretschmannScalarValidationResult;
+//# sourceMappingURL=curvature-invariants.d.ts.map

package/dist/dimensional/curvature-invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"curvature-invariants.d.ts","sourceRoot":"","sources":["../../src/dimensional/curvature-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAEpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAMvE;;;;;;;;;;;;;;;GAeG;AACH;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,sBAAsB,CAAC,oBAAoB,EAAE;IAC/E;sFACkF;IAClF,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC;iEAC6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,WAAW,iCAAiC;IAChD,2DAA2D;IAC3D,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAQD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,qBAAqB,GAC1B,iCAAiC,CAcnC"}

package/dist/dimensional/curvature-invariants.js

@@ -0,0 +1,64 @@
+/**
+ * Kretschmann scalar AST node + validator (v0.6.0 Phase 3, Task 3.5).
+ *
+ * The Kretschmann scalar (also spelled "Kretschner") is the quadratic
+ * curvature invariant:
+ *
+ *   K = R_{ρσμν} R^{ρσμν}
+ *
+ * formed by full contraction of the Riemann tensor with itself (all four
+ * indices raised on the second factor via the inverse metric). K is a
+ * genuine spacetime scalar — coordinate-independent, diff-invariant — and
+ * the canonical diagnostic for curvature-singularity detection: K diverges
+ * at genuine singularities (Schwarzschild r→0) but is finite at coordinate
+ * singularities (Schwarzschild r=r_s).
+ *
+ * Closed-form for Schwarzschild: K(r) = 48 G² M² / (c⁴ r⁶).
+ *
+ * Dimensional analysis:
+ *   - Riemann component: [L⁻²] (F8/I3 convention in connection-validators.ts)
+ *   - K = R × R: [L⁻²] × [L⁻²] = [L⁻⁴]
+ *
+ * Mirrors the WeylTensorNode pattern in weyl-validators.ts — own validator
+ * function; wired via case arm in validator.ts + lowering stub in lowering.ts.
+ *
+ * @module dimensional/curvature-invariants
+ */
+import { validateRiemannTensor } from './connection-validators.js';
+/**
+ * Dimension literal for [L⁻⁴].
+ * Kept module-private; callers receive it through the return value.
+ */
+const DIM_L_NEG4 = { L: -4, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+/**
+ * Validate a `kretschmann-scalar` node.
+ *
+ * Re-enters `validateRiemannTensor` for the embedded `riemann` sub-node
+ * (so its index-variance, metric-signature, and label-disjointness checks
+ * all fire). Discards the Riemann's free-index map — K is a full contraction
+ * and every index disappears. Mirrors the `validateRicciTensor` pattern in
+ * curvature.ts for embedded-Riemann structural validation.
+ *
+ * Throws:
+ *   - Everything `validateRiemannTensor` throws (PartialDerivativeIndexVarianceError,
+ *     MetricSignatureError, IndexLabelCollisionError) propagated from the
+ *     embedded Riemann check.
+ *
+ * Returns:
+ *   - `{ dim: [L⁻⁴], freeIndices: empty Map }` — scalar, no free indices.
+ */
+export function validateKretschmannScalar(node) {
+    // Re-validate the embedded Riemann. We pass node.riemann directly to
+    // validateRiemannTensor (not via a callback, since KretschmannScalarNode
+    // does not need to thread an infer() context for its sub-nodes — it only
+    // needs the structural checks to fire, and the Riemann validator is
+    // self-contained). Mirrors the validateRicciTensor invocation in
+    // curvature.ts:validateRicciTensor.
+    validateRiemannTensor(node.riemann);
+    // K is a scalar: no free indices.
+    return {
+        dim: DIM_L_NEG4,
+        freeIndices: new Map(),
+    };
+}
+//# sourceMappingURL=curvature-invariants.js.map

package/dist/dimensional/curvature-invariants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"curvature-invariants.js","sourceRoot":"","sources":["../../src/dimensional/curvature-invariants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAgDnE;;;GAGG;AACH,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;AAEhF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B;IAE3B,qEAAqE;IACrE,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,iEAAiE;IACjE,oCAAoC;IACpC,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEpC,kCAAkC;IAClC,OAAO;QACL,GAAG,EAAE,UAAU;QACf,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC"}

package/dist/dimensional/curvature.d.ts

@@ -20,14 +20,58 @@ import type { Dimension } from './types.js';
 import type { ExprNode } from './validator.js';
 import type { RiemannTensorNode } from './connection-validators.js';
 import type { MetricTensorNode } from './metric-validators.js';
+import type { CurvatureCompositeNode } from './curvature-composite.js';
+import type { TensorEngine } from '../numerical/tensor-engine.js';
+import type { NumericalInputs, NestedArray } from '../numerical/types.js';
+/**
+ * Shared callback shape used by every pattern-B validator (`validate
+ * RicciTensor`, `validateEinsteinTensor`, `validateBianchiResidual`).
+ *
+ * The callback re-enters the Riemann validator for an embedded
+ * `RiemannTensorNode`, returning the validated `{dim, freeIndices}`
+ * pair without the surrounding validator-result envelope (the caller
+ * is responsible for merging or discarding the free-index map per
+ * the contraction it is performing).
+ *
+ * Co-located here with the three consumer functions (rather than in
+ * `validator-registry.ts`) to avoid a `curvature.ts ↔ validator-
+ * registry.ts` import cycle — the registry imports the validators
+ * from this module, so this module must own the callback type.
+ *
+ * @internal
+ */
+export type RiemannChildCallback = (child: RiemannTensorNode) => {
+    dim: Dimension;
+    freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+};
 /**
  * v0.5.0 Task 7: Ricci tensor AST node R_μν.
  *
  * Internally wraps a RiemannTensorNode and represents the contraction
- * R_μν = R^λ_{λμν}. The wrapped Riemann's `upperIndex.label` and
- * `lowerIndices[0].label` are the dummy contraction indices (the λ slot);
- * the output free indices are `mu` and `nu` (cloned from
- * `R.lowerIndices[1]` and `R.lowerIndices[2]` respectively).
+ *
+ *     R_μν = R^λ_{μλν}     (Carroll Eq. 3.91)
+ *
+ * Index-map on the wrapped Riemann (R^ρ_σμν per RiemannTensorNode):
+ *
+ *     R^ρ    σ    μ    ν
+ *     │     │   │   │
+ *     │     │   └── lowerIndices[1] = the dummy contraction slot (λ)
+ *     │     │       contracts against upperIndex.label (ρ ↔ λ)
+ *     │     └── lowerIndices[0] = free output index #1 (μ_out, lower)
+ *     └── upperIndex (ρ) — contracts against lowerIndices[1]
+ *                              lowerIndices[2] = free output index #2 (ν_out, lower)
+ *
+ * After contraction: R_μν free indices = {μ_out: lower, ν_out: lower}, dim {L: -2}.
+ *
+ * NOTE (post-S1 correction, commit `76628c4`): prior to v0.5.0 Task 7 this
+ * docstring incorrectly said `lowerIndices[0]` was the dummy slot. Carroll
+ * Eq. 3.91 contracts on the SECOND lower (the μ slot in R^ρ_σμν), giving
+ * R_σν after the contraction. The implementation in `validateRicciTensor`
+ * below (lines ~87-101) is the authoritative reference. See memory entry
+ * `feedback_v0_5_0_ricci_contraction_bug.md` for the bug history.
  *
  * The node is its own validation arm in validator.ts and its own lowering
  * arm in numerical/lowering.ts — same pattern as RiemannTensorNode (no
@@ -35,11 +79,14 @@ import type { MetricTensorNode } from './metric-validators.js';
  *
  * @public
  */
-export interface RicciTensorNode {
-    readonly kind: 'ricci-tensor';
+/**
+ * v0.6.0 Task 3.10b: RicciTensorNode expressed via CurvatureCompositeNode<K, S>.
+ * The runtime shape is identical — pure type-alias migration.
+ */
+export type RicciTensorNode = CurvatureCompositeNode<'ricci-tensor', {
     /** The Riemann tensor whose first two slots are contracted. */
     readonly riemann: RiemannTensorNode;
-}
+}>;
 /**
  * Result of validating a RicciTensorNode.
  * @public
@@ -68,13 +115,7 @@ export interface RicciTensorValidationResult {
  * `R_μν = R^λ_{μλν}`), and the surviving σ / ν slots become the new
  * free indices of the Ricci tensor.
  */
-export declare function validateRicciTensor(node: RicciTensorNode, validateRiemannChild: (child: RiemannTensorNode) => {
-    dim: Dimension;
-    freeIndices: Map<string, {
-        upper: number;
-        lower: number;
-    }>;
-}): RicciTensorValidationResult;
+export declare function validateRicciTensor(node: RicciTensorNode, validateRiemannChild: RiemannChildCallback): RicciTensorValidationResult;
 /**
  * Build the Ricci tensor R_μν = R^λ_{μλν} as a composite ExprNode.
  *
@@ -132,15 +173,18 @@ export declare function ricci(R: RiemannTensorNode): ExprNode;
  *
  * @public
  */
-export interface EinsteinTensorNode {
-    readonly kind: 'einstein-tensor';
+/**
+ * v0.6.0 Task 3.10b: EinsteinTensorNode expressed via CurvatureCompositeNode<K, S>.
+ * The runtime shape is identical — pure type-alias migration.
+ */
+export type EinsteinTensorNode = CurvatureCompositeNode<'einstein-tensor', {
     /** The Riemann tensor whose contraction yields the inner Ricci R_μν. */
     readonly riemann: RiemannTensorNode;
     /** Lower metric g_μν — supplies the `½ R g_μν` subtraction tensor. */
     readonly gLower: MetricTensorNode;
     /** Upper metric g^μν — supplies the scalar trace `R = g^μν R_μν`. */
     readonly gInverse: MetricTensorNode;
-}
+}>;
 /**
  * Result of validating an EinsteinTensorNode.
  * @public
@@ -172,21 +216,17 @@ export interface EinsteinTensorValidationResult {
  *     surviving free-index collision; MetricSignatureError /
  *     PartialDerivativeIndexVarianceError from the inner Riemann).
  */
-export declare function validateEinsteinTensor(node: EinsteinTensorNode, validateRiemannChild: (child: RiemannTensorNode) => {
-    dim: Dimension;
-    freeIndices: Map<string, {
-        upper: number;
-        lower: number;
-    }>;
-}): EinsteinTensorValidationResult;
+export declare function validateEinsteinTensor(node: EinsteinTensorNode, validateRiemannChild: RiemannChildCallback): EinsteinTensorValidationResult;
 /**
  * Build the Einstein tensor G_μν = R_μν − ½ R g_μν as a composite ExprNode.
  *
- * **Convention.** Inherits Carroll Eq. 3.91 from `ricci(R)` — the inner
- * Ricci is computed by contracting upper-ρ of the wrapped Riemann against
- * `lowerIndices[1]` (the middle/μ slot in R^ρ_σμν). The scalar trace is
- * `R = g^μν R_μν` and the subtraction term is `½ R · g_μν`. The result
- * `G_μν` shares free indices {μ_out, ν_out} with `ricci(R)`.
+ * **Convention.** The Einstein tensor adds the scalar-trace subtraction
+ * term `½ R g_μν` to Ricci — it does NOT introduce a new contraction
+ * convention. The inner Ricci `R_μν` inherits Carroll Eq. 3.91 from
+ * `ricci(R)` (contraction on `lowerIndices[1]`, the middle/μ slot in
+ * R^ρ_σμν; see RicciTensorNode JSDoc for the index-map diagram). The
+ * scalar trace is `R = g^μν R_μν`. The result `G_μν` shares free indices
+ * {μ_out, ν_out} with `ricci(R)`.
  *
  * **Algebra (sanity check).**
  *   - de Sitter (n=4): `R_μν = Λ g_μν`, `R = 4Λ` ⇒
@@ -246,11 +286,14 @@ export declare function einstein(R: RiemannTensorNode, g: MetricTensorNode, gInv
  *
  * @public
  */
-export interface BianchiResidualNode {
-    readonly kind: 'bianchi-residual';
+/**
+ * v0.6.0 Task 3.10c: BianchiResidualNode expressed via CurvatureCompositeNode<K, S>.
+ * The runtime shape is identical — pure type-alias migration.
+ */
+export type BianchiResidualNode = CurvatureCompositeNode<'bianchi-residual', {
     /** The Riemann tensor whose cyclic-derivative identity is checked. */
     readonly riemann: RiemannTensorNode;
-}
+}>;
 /**
  * Result of validating a BianchiResidualNode.
  * @public
@@ -279,21 +322,19 @@ export interface BianchiResidualValidationResult {
  *   - IndexLabelCollisionError if the synthesised `lambda` / `sigma_out`
  *     labels collide with any wrapped-Riemann label.
  */
-export declare function validateBianchiResidual(node: BianchiResidualNode, validateRiemannChild: (child: RiemannTensorNode) => {
-    dim: Dimension;
-    freeIndices: Map<string, {
-        upper: number;
-        lower: number;
-    }>;
-}): BianchiResidualValidationResult;
+export declare function validateBianchiResidual(node: BianchiResidualNode, validateRiemannChild: RiemannChildCallback): BianchiResidualValidationResult;
 /**
  * Imported lazily inside `bianchiResidual()` to avoid pulling the numerical
  * lowering layer into the dimensional module's import graph at module load.
  * Mirrors the runtime contract — `bianchiResidual()` returns closures that
  * call `evaluateNumerical`, but the function itself is pure-symbolic until
  * the closures are invoked.
+ *
+ * v0.5.1 TS-1: `engine`/`inputs`/return are now strictly typed via
+ * `import type` (no runtime import into curvature.ts), so the public API
+ * surface no longer leaks `any` through the bianchi return shape.
  */
-type LazyEvaluator = (engine: any, inputs: any) => Promise<any>;
+type LazyEvaluator = (engine: TensorEngine, inputs: NumericalInputs) => Promise<NestedArray>;
 /**
  * Build the second-Bianchi-identity residual `B_{λμνρσ}` as a composite
  * object with both an AST representation and evaluator closures.
@@ -330,7 +371,7 @@ type LazyEvaluator = (engine: any, inputs: any) => Promise<any>;
 export declare function bianchiResidual(R: RiemannTensorNode): {
     residual: ExprNode;
     evaluate: LazyEvaluator;
-    evaluateMax: (engine: any, inputs: any) => Promise<number>;
+    evaluateMax: (engine: TensorEngine, inputs: NumericalInputs) => Promise<number>;
 };
 export {};
 //# sourceMappingURL=curvature.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"curvature.d.ts","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,eAAe,EACrB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,2BAA2B,CA2B7B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,CAEpD;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED;;;GAGG;AACH,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;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,kBAAkB,EACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,8BAA8B,CAWhC;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,iBAAiB,EACpB,CAAC,EAAE,gBAAgB,EACnB,QAAQ,EAAE,gBAAgB,GACzB,QAAQ,CAEV;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,+BAA+B;IAC9C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,mBAAmB,EACzB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,+BAA+B,CAyCjC;AAMD;;;;;;GAMG;AACH,KAAK,aAAa,GAAG,CAEnB,MAAM,EAAE,GAAG,EAEX,MAAM,EAAE,GAAG,KAER,OAAO,CAAC,GAAG,CAAC,CAAC;AAElB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,iBAAiB,GAAG;IACrD,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,aAAa,CAAC;IACxB,WAAW,EAAE,CAEX,MAAM,EAAE,GAAG,EAEX,MAAM,EAAE,GAAG,KACR,OAAO,CAAC,MAAM,CAAC,CAAC;CACtB,CAkCA"}
+{"version":3,"file":"curvature.d.ts","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAMvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAM1E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAC/D,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,CAAC;AAMF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,sBAAsB,CAAC,cAAc,EAAE;IACnE,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,eAAe,EACrB,oBAAoB,EAAE,oBAAoB,GACzC,2BAA2B,CA2B7B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,CAEpD;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,iBAAiB,EAAE;IACzE,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC,CAAC,CAAC;AAEH;;;GAGG;AACH,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;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,kBAAkB,EACxB,oBAAoB,EAAE,oBAAoB,GACzC,8BAA8B,CAWhC;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,iBAAiB,EACpB,CAAC,EAAE,gBAAgB,EACnB,QAAQ,EAAE,gBAAgB,GACzB,QAAQ,CAEV;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,kBAAkB,EAAE;IAC3E,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,WAAW,+BAA+B;IAC9C,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;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,mBAAmB,EACzB,oBAAoB,EAAE,oBAAoB,GACzC,+BAA+B,CAyCjC;AAMD;;;;;;;;;;GAUG;AACH,KAAK,aAAa,GAAG,CACnB,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,eAAe,KACpB,OAAO,CAAC,WAAW,CAAC,CAAC;AAE1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,iBAAiB,GAAG;IACrD,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,aAAa,CAAC;IACxB,WAAW,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,eAAe,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CACjF,CA4CA"}

package/dist/dimensional/curvature.js

@@ -139,11 +139,13 @@ export function validateEinsteinTensor(node, validateRiemannChild) {
 /**
  * Build the Einstein tensor G_μν = R_μν − ½ R g_μν as a composite ExprNode.
  *
- * **Convention.** Inherits Carroll Eq. 3.91 from `ricci(R)` — the inner
- * Ricci is computed by contracting upper-ρ of the wrapped Riemann against
- * `lowerIndices[1]` (the middle/μ slot in R^ρ_σμν). The scalar trace is
- * `R = g^μν R_μν` and the subtraction term is `½ R · g_μν`. The result
- * `G_μν` shares free indices {μ_out, ν_out} with `ricci(R)`.
+ * **Convention.** The Einstein tensor adds the scalar-trace subtraction
+ * term `½ R g_μν` to Ricci — it does NOT introduce a new contraction
+ * convention. The inner Ricci `R_μν` inherits Carroll Eq. 3.91 from
+ * `ricci(R)` (contraction on `lowerIndices[1]`, the middle/μ slot in
+ * R^ρ_σμν; see RicciTensorNode JSDoc for the index-map diagram). The
+ * scalar trace is `R = g^μν R_μν`. The result `G_μν` shares free indices
+ * {μ_out, ν_out} with `ricci(R)`.
  *
  * **Algebra (sanity check).**
  *   - de Sitter (n=4): `R_μν = Λ g_μν`, `R = 4Λ` ⇒
@@ -258,18 +260,21 @@ export function validateBianchiResidual(node, validateRiemannChild) {
 export function bianchiResidual(R) {
     const residual = { kind: 'bianchi-residual', riemann: R };
     const evaluate = async (engine, inputs) => {
-        // Dynamic import to keep the dimensional module's load-time graph clean.
+        // Dynamic import to keep the dimensional module's load-time graph clean
+        // (a static import here would create a dimensional→numerical→dimensional
+        // runtime cycle: numerical/index.ts imports validator.ts). The TS-1
+        // type-tightening above uses `import type` only, so this dynamic import
+        // does not weaken the static type story.
         const mod = await import('../numerical/index.js');
         const result = await mod.evaluateNumerical(residual, inputs, { engine });
         return result.value;
     };
-    const evaluateMax = async (
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    engine, 
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    inputs) => {
+    const evaluateMax = async (engine, inputs) => {
         const value = await evaluate(engine, inputs);
         // Walk the 5-deep nested array (or any depth) and return max |x|.
+        // v0.5.1 TS-3: signature accepts `NestedArray` (the public type from
+        // evaluate()) plus a typed-array escape hatch; unexpected shapes throw
+        // rather than being silently ignored.
         let max = 0;
         const walk = (v) => {
             if (typeof v === 'number') {
@@ -281,7 +286,10 @@ export function bianchiResidual(R) {
             if (Array.isArray(v)) {
                 for (const c of v)
                     walk(c);
+                return;
             }
+            throw new Error(`bianchiResidual.evaluateMax: unexpected value shape — expected `
+                + `number | NestedArray, got ${typeof v}`);
         };
         walk(value);
         return max;

package/dist/dimensional/curvature.js.map

@@ -1 +1 @@
-{"version":3,"file":"curvature.js","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAOH,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAoCvD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,oBAGC;IAED,yEAAyE;IACzE,iEAAiE;IACjE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,iCAAiC;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnD,qEAAqE;IACrE,gEAAgE;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,IAAI,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,KAAK,CAAC,CAAoB;IACxC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC9C,CAAC;AA2CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,oBAGC;IAED,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,SAAS,GAAoB,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACnF,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAE/D,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,QAAQ,CACtB,CAAoB,EACpB,CAAmB,EACnB,QAA0B;IAE1B,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AA2DD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB,EACzB,oBAGC;IAED,uEAAuE;IACvE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnC,yEAAyE;IACzE,0EAA0E;IAC1E,4DAA4D;IAC5D,gEAAgE;IAChE,uEAAuE;IACvE,mDAAmD;IACnD,wEAAwE;IACxE,iDAAiD;IACjD,EAAE;IACF,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;QACpC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;QAC7B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KACnC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,6CAA6C;IAC7C,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;IAEzE,6BAA6B;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,WAAW,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAqBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,eAAe,CAAC,CAAoB;IAUlD,MAAM,QAAQ,GAAwB,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE/E,MAAM,QAAQ,GAAkB,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACvD,yEAAyE;QACzE,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,iBAAiB,CAAC,QAAoB,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,KAAK;IACvB,8DAA8D;IAC9D,MAAW;IACX,8DAA8D;IAC9D,MAAW,EACM,EAAE;QACnB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7C,kEAAkE;QAClE,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;YAChC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,GAAG,GAAG;oBAAE,GAAG,GAAG,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,QAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnE,CAAC"}
+{"version":3,"file":"curvature.js","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAOH,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AA0FvD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAqB,EACrB,oBAA0C;IAE1C,yEAAyE;IACzE,iEAAiE;IACjE,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,iCAAiC;IACjC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnD,qEAAqE;IACrE,gEAAgE;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAExB,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAmB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtC,MAAM,IAAI,wBAAwB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAExD,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,oCAAoC;AACpC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,KAAK,CAAC,CAAoB;IACxC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC9C,CAAC;AA8CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAwB,EACxB,oBAA0C;IAE1C,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,SAAS,GAAoB,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IACnF,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAE/D,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,wEAAwE;IACxE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACpD,CAAC;AAED,gFAAgF;AAChF,uCAAuC;AACvC,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,QAAQ,CACtB,CAAoB,EACpB,CAAmB,EACnB,QAA0B;IAE1B,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AA8DD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB,EACzB,oBAA0C;IAE1C,uEAAuE;IACvE,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEnC,yEAAyE;IACzE,0EAA0E;IAC1E,4DAA4D;IAC5D,gEAAgE;IAChE,uEAAuE;IACvE,mDAAmD;IACnD,wEAAwE;IACxE,iDAAiD;IACjD,EAAE;IACF,0EAA0E;IAC1E,gDAAgD;IAChD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS;QACpC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK;QAC7B,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAClC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KACnC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,sEAAsE;IACtE,6CAA6C;IAC7C,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,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,EAAE,CAAC;IAEzE,6BAA6B;IAC7B,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,WAAW,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE5E,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,eAAe,CAAC,CAAoB;IAKlD,MAAM,QAAQ,GAAwB,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE/E,MAAM,QAAQ,GAAkB,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACvD,wEAAwE;QACxE,yEAAyE;QACzE,oEAAoE;QACpE,wEAAwE;QACxE,yCAAyC;QACzC,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,iBAAiB,CAAC,QAAoB,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACrF,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,KAAK,EACvB,MAAoB,EACpB,MAAuB,EACN,EAAE;QACnB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7C,kEAAkE;QAClE,qEAAqE;QACrE,uEAAuE;QACvE,sCAAsC;QACtC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAkC,EAAQ,EAAE;YACxD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,GAAG,GAAG;oBAAE,GAAG,GAAG,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,MAAM,IAAI,KAAK,CACb,iEAAiE;kBAC/D,6BAA6B,OAAO,CAAC,EAAE,CAC1C,CAAC;QACJ,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,QAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnE,CAAC"}