universal-physics-tensor 10.0.0 → 12.0.0

package/dist/dimensional/ast-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"ast-types.js","sourceRoot":"","sources":["../../src/dimensional/ast-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG","sourcesContent":["/**\n * The dimensional AST type system — `ExprNode` and every node/index interface\n * it unions, in ONE leaf module.\n *\n * Previously `ExprNode` lived in `validator.ts` and pulled its member node types\n * from ~9 sibling modules (`tensor`, `metric-validators`, `connection-\n * validators`, `curvature`, …). Two of those (`tensor`, `curvature`) imported\n * `ExprNode` back, forming type-only cycles, and several node interfaces used\n * `of: unknown` casts to dodge importing `ExprNode`. Consolidating the *types*\n * here (this module imports only `types.ts` + the leaf `curvature-composite.ts`,\n * so it has no back-edges) breaks both cycles and lets the derivative nodes type\n * `of`/`wrt` as real `ExprNode`.\n *\n * Each origin module now re-exports its types from here (so existing importers\n * are unchanged) and keeps only its validation FUNCTIONS.\n *\n * @module dimensional/ast-types\n */\n\nimport type { Dimension } from './types.js';\nimport type { CurvatureCompositeNode } from './curvature-composite.js';\n\n// ── index types ─────────────────────────────────────────────────────────────\n\nexport type Variance = 'upper' | 'lower';\nexport type Role = 'coordinate' | 'field' | 'constant';\n\nexport interface TensorIndex {\n  readonly label: string;\n  readonly variance: Variance;\n}\n\n/** A strictly-lower tensor index. */\nexport interface CovariantIndex {\n  readonly label: string;\n  readonly variance: 'lower';\n}\n\n/** A strictly-upper tensor index. */\nexport interface UpperIndex {\n  readonly label: string;\n  readonly variance: 'upper';\n}\n\n// ── transcendental functions ────────────────────────────────────────────────\n\n/**\n * Elementwise transcendental functions usable in a `transcendental` node. All\n * take a DIMENSIONLESS argument and return a DIMENSIONLESS result. (`sqrt`/`cbrt`\n * are excluded — they produce fractional dimensions.)\n */\nexport type TranscendentalFn =\n  | 'exp'\n  | 'ln'\n  | 'log2'\n  | 'log10'\n  | 'sin'\n  | 'cos'\n  | 'tan'\n  | 'sinh'\n  | 'cosh'\n  | 'tanh';\n\n// ── tensor nodes ────────────────────────────────────────────────────────────\n\nexport interface TensorSymbolNode {\n  readonly kind: 'tensor-symbol';\n  readonly name: string;\n  readonly indices: ReadonlyArray<TensorIndex>;\n  readonly dim: Dimension;\n  /** Semantic classification (default 'field'). Structural metadata only. */\n  readonly role?: Role;\n  /** v0.3.5 numerical pderiv strategy when this is a partial-derivative `of`\n   *  operand (default 'symbolic'). */\n  readonly numericalForm?: 'symbolic' | 'numerical-fn' | 'grid';\n}\n\nexport interface TensorProductNode {\n  readonly kind: 'tensor-product';\n  readonly args: ReadonlyArray<ExprNode>;\n}\n\n// ── metric nodes ────────────────────────────────────────────────────────────\n\nexport interface MetricTensorNode {\n  readonly kind: 'metric-tensor';\n  readonly name: string;\n  readonly indices: ReadonlyArray<TensorIndex>;\n  readonly signature: string;\n  readonly dim: Dimension;\n  /** v0.4.0 numerical-lowering hint for ∂g (default 'computed'). */\n  readonly derivativeStrategy?: 'computed' | 'zero' | 'supplied';\n}\n\nexport interface KroneckerDeltaNode {\n  readonly kind: 'kronecker-delta';\n  readonly indices: ReadonlyArray<TensorIndex>;\n  readonly dim: Dimension;\n}\n\nexport interface TensorPartialDerivativeNode {\n  readonly kind: 'tensor-partial-derivative';\n  readonly of: ExprNode;\n  readonly wrt: ExprNode;\n  readonly wrtIndex: CovariantIndex;\n}\n\n// ── connection / curvature nodes ────────────────────────────────────────────\n\n/**\n * AST node for the covariant derivative ∇_μ of a tensor expression.\n *\n * @public\n */\nexport interface CovariantDerivativeNode {\n  readonly kind: 'covariant-derivative';\n  readonly of: ExprNode;\n  readonly wrt: ExprNode;\n  readonly wrtIndex: CovariantIndex;\n  readonly gLower: MetricTensorNode;\n  readonly gInverse: MetricTensorNode;\n}\n\nexport type RiemannTensorNode = CurvatureCompositeNode<'riemann-tensor', {\n  readonly upperIndex: UpperIndex;\n  readonly lowerIndices: readonly [CovariantIndex, CovariantIndex, CovariantIndex];\n  readonly gLower: MetricTensorNode;\n  readonly gInverse: MetricTensorNode;\n  readonly xCoord: TensorSymbolNode;\n}>;\n\n/**\n * AST node for the Ricci tensor R_μν, built by `ricci`.\n *\n * @public\n */\nexport type RicciTensorNode = CurvatureCompositeNode<'ricci-tensor', {\n  /** The Riemann tensor, contracted on its upper index and its second lower index: R_μν = R^λ_{μλν}. */\n  readonly riemann: RiemannTensorNode;\n}>;\n\n/**\n * AST node for the Einstein tensor G_μν, built by `einstein`.\n *\n * @public\n */\nexport type EinsteinTensorNode = CurvatureCompositeNode<'einstein-tensor', {\n  /** The Riemann tensor whose contraction yields the inner Ricci R_μν. */\n  readonly riemann: RiemannTensorNode;\n  /** Lower metric g_μν — supplies the `½ R g_μν` subtraction tensor. */\n  readonly gLower: MetricTensorNode;\n  /** Upper metric g^μν — supplies the scalar trace `R = g^μν R_μν`. */\n  readonly gInverse: MetricTensorNode;\n}>;\n\n/**\n * AST node for the cyclic second-Bianchi-identity residual, built by `bianchiResidual`.\n *\n * @public\n */\nexport type BianchiResidualNode = CurvatureCompositeNode<'bianchi-residual', {\n  /** The Riemann tensor whose cyclic-derivative identity is checked. */\n  readonly riemann: RiemannTensorNode;\n}>;\n\nexport type WeylTensorNode = CurvatureCompositeNode<'weyl-tensor', {\n  /** Metric g_{μν} (both-lower). Present for numerical lowering consumers. */\n  readonly metric: MetricTensorNode;\n  /** Contravariant (upper) index ρ. */\n  readonly upperIndex: UpperIndex;\n  /** Three covariant (lower) indices [σ, μ, ν]. */\n  readonly lowerIndices: readonly [CovariantIndex, CovariantIndex, CovariantIndex];\n  /** Dimensional signature of each component: [L⁻²], same as Riemann. */\n  readonly componentDim: Dimension;\n}>;\n\n/**\n * AST node for the Kretschmann scalar K = R_{ρσμν} R^{ρσμν}.\n *\n * @public\n */\nexport type KretschmannScalarNode = CurvatureCompositeNode<'kretschmann-scalar', {\n  /** Riemann tensor R^ρ_{σμν}. */\n  readonly riemann: RiemannTensorNode;\n  /** Metric (both-lower preferred). */\n  readonly metric: MetricTensorNode;\n}>;\n\n// ── Killing / stress-energy / field-equation nodes ──────────────────────────\n\nexport interface KillingVectorNode {\n  readonly kind: 'killing-vector';\n  readonly vector: TensorSymbolNode;\n  readonly metric: MetricTensorNode;\n}\n\nexport interface ConservedChargeNode {\n  readonly kind: 'conserved-charge';\n  /** The Killing vector ξ^μ (rank-1, upper variance). */\n  readonly killing: KillingVectorNode;\n  /** The covariant momentum p_μ (rank-1, lower variance), sharing the Killing\n   *  vector's index label so ξ^μ p_μ is well-formed. */\n  readonly momentum: TensorSymbolNode;\n}\n\nexport interface StressEnergyTensorNode {\n  readonly kind: 'stress-energy';\n  readonly symbol: 'T';\n  readonly indices: readonly [CovariantIndex, CovariantIndex];\n  readonly symmetry: 'symmetric';\n  readonly componentDim: Dimension;\n}\n\nexport interface CosmologicalConstantNode {\n  readonly kind: 'cosmological-constant';\n  readonly symbol: 'Λ';\n  readonly dim: Dimension; // [L⁻²]\n  readonly value?: number; // optional numeric value (e.g., 1.1056e-52 m⁻²)\n}\n\n/**\n * AST node for the Einstein field equation G_μν + Λ g_μν = (8πG/c⁴) T_μν.\n *\n * @public\n */\nexport interface EinsteinFieldEquationNode {\n  readonly kind: 'einstein-equation';\n  readonly lhs: EinsteinTensorNode;\n  readonly cosmological: CosmologicalConstantNode | null;\n  readonly metric: MetricTensorNode;\n  readonly rhs: StressEnergyTensorNode;\n  readonly coupling: 'einstein';\n}\n\n// ── the ExprNode union ──────────────────────────────────────────────────────\n\nexport type ExprNode =\n  | { kind: 'symbol'; name: string; dim: Dimension }\n  | { kind: 'op'; op: '+' | '-' | '*' | '/' | '^'; args: ExprNode[] }\n  // ∫ integrand d(over); optional lower/upper bounds make it a DEFINITE integral.\n  | { kind: 'integral'; over: ExprNode; integrand: ExprNode; lower?: ExprNode; upper?: ExprNode }\n  | { kind: 'derivative'; of: ExprNode; wrt: ExprNode }\n  // Dirac-δ correlator: ∫δ(x)dx=1 ⟹ [δ(x)]=[x]⁻¹.\n  | { kind: 'dirac-delta'; arg: ExprNode }\n  // Functional derivative δF/δφ \"over\" the measure dμ: [δF/δφ]=[F]/([φ]·[μ]).\n  | { kind: 'variational-derivative'; functional: ExprNode; field: ExprNode; over: ExprNode }\n  // Elementwise transcendental of a DIMENSIONLESS arg → DIMENSIONLESS result.\n  | { kind: 'transcendental'; fn: TranscendentalFn; arg: ExprNode }\n  // Absolute value |x| — dimension-PRESERVING (unlike the transcendentals).\n  | { kind: 'abs'; arg: ExprNode }\n  | TensorSymbolNode\n  | TensorProductNode\n  | MetricTensorNode\n  | KroneckerDeltaNode\n  | TensorPartialDerivativeNode\n  | CovariantDerivativeNode\n  | RiemannTensorNode\n  | RicciTensorNode\n  | EinsteinTensorNode\n  | BianchiResidualNode\n  | KillingVectorNode\n  | ConservedChargeNode\n  | StressEnergyTensorNode\n  | CosmologicalConstantNode\n  | EinsteinFieldEquationNode\n  | WeylTensorNode\n  | KretschmannScalarNode;\n"]}
+{"version":3,"file":"ast-types.js","sourceRoot":"","sources":["../../src/dimensional/ast-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG","sourcesContent":["/**\n * The dimensional AST type system — `ExprNode` and every node/index interface\n * it unions, in ONE leaf module.\n *\n * Previously `ExprNode` lived in `validator.ts` and pulled its member node types\n * from ~9 sibling modules (`tensor`, `metric-validators`, `connection-\n * validators`, `curvature`, …). Two of those (`tensor`, `curvature`) imported\n * `ExprNode` back, forming type-only cycles, and several node interfaces used\n * `of: unknown` casts to dodge importing `ExprNode`. Consolidating the *types*\n * here (this module imports only `types.ts` + the leaf `curvature-composite.ts`,\n * so it has no back-edges) breaks both cycles and lets the derivative nodes type\n * `of`/`wrt` as real `ExprNode`.\n *\n * Each origin module now re-exports its types from here (so existing importers\n * are unchanged) and keeps only its validation FUNCTIONS.\n *\n * @module dimensional/ast-types\n */\n\nimport type { Dimension } from './types.js';\nimport type { CurvatureCompositeNode } from './curvature-composite.js';\n\n// ── index types ─────────────────────────────────────────────────────────────\n\n/** The position of a tensor index: upper (contravariant) or lower (covariant). */\nexport type Variance = 'upper' | 'lower';\n/** The semantic class of a tensor symbol: coordinate, field or constant. */\nexport type Role = 'coordinate' | 'field' | 'constant';\n\n/** One index of a tensor: its label and whether it is upper or lower. */\nexport interface TensorIndex {\n  readonly label: string;\n  readonly variance: Variance;\n}\n\n/** A strictly-lower tensor index. */\nexport interface CovariantIndex {\n  readonly label: string;\n  readonly variance: 'lower';\n}\n\n/** A strictly-upper tensor index. */\nexport interface UpperIndex {\n  readonly label: string;\n  readonly variance: 'upper';\n}\n\n// ── transcendental functions ────────────────────────────────────────────────\n\n/**\n * Elementwise transcendental functions usable in a `transcendental` node. All\n * take a DIMENSIONLESS argument and return a DIMENSIONLESS result. (`sqrt`/`cbrt`\n * are excluded — they produce fractional dimensions.)\n */\nexport type TranscendentalFn =\n  | 'exp'\n  | 'ln'\n  | 'log2'\n  | 'log10'\n  | 'sin'\n  | 'cos'\n  | 'tan'\n  | 'sinh'\n  | 'cosh'\n  | 'tanh';\n\n// ── tensor nodes ────────────────────────────────────────────────────────────\n\n/** A named tensor, with its indices, dimension and optional role. */\nexport interface TensorSymbolNode {\n  readonly kind: 'tensor-symbol';\n  readonly name: string;\n  readonly indices: ReadonlyArray<TensorIndex>;\n  readonly dim: Dimension;\n  /** Semantic classification (default 'field'). Structural metadata only. */\n  readonly role?: Role;\n  /** v0.3.5 numerical pderiv strategy when this is a partial-derivative `of`\n   *  operand (default 'symbolic'). */\n  readonly numericalForm?: 'symbolic' | 'numerical-fn' | 'grid';\n}\n\n/** An Einstein-summation product of tensor and scalar operands. */\nexport interface TensorProductNode {\n  readonly kind: 'tensor-product';\n  readonly args: ReadonlyArray<ExprNode>;\n}\n\n// ── metric nodes ────────────────────────────────────────────────────────────\n\n/** A metric tensor, with its name, indices, signature and dimension. */\nexport interface MetricTensorNode {\n  readonly kind: 'metric-tensor';\n  readonly name: string;\n  readonly indices: ReadonlyArray<TensorIndex>;\n  readonly signature: string;\n  readonly dim: Dimension;\n  /** v0.4.0 numerical-lowering hint for ∂g (default 'computed'). */\n  readonly derivativeStrategy?: 'computed' | 'zero' | 'supplied';\n}\n\n/** The Kronecker delta, with its tensor indices and dimension. */\nexport interface KroneckerDeltaNode {\n  readonly kind: 'kronecker-delta';\n  readonly indices: ReadonlyArray<TensorIndex>;\n  readonly dim: Dimension;\n}\n\n/** The partial derivative of an expression, taken on a covariant index. */\nexport interface TensorPartialDerivativeNode {\n  readonly kind: 'tensor-partial-derivative';\n  readonly of: ExprNode;\n  readonly wrt: ExprNode;\n  readonly wrtIndex: CovariantIndex;\n}\n\n// ── connection / curvature nodes ────────────────────────────────────────────\n\n/**\n * AST node for the covariant derivative ∇_μ of a tensor expression.\n *\n * @public\n */\nexport interface CovariantDerivativeNode {\n  readonly kind: 'covariant-derivative';\n  readonly of: ExprNode;\n  readonly wrt: ExprNode;\n  readonly wrtIndex: CovariantIndex;\n  readonly gLower: MetricTensorNode;\n  readonly gInverse: MetricTensorNode;\n}\n\n/** The Riemann curvature tensor, with one upper and three lower indices. */\nexport type RiemannTensorNode = CurvatureCompositeNode<'riemann-tensor', {\n  readonly upperIndex: UpperIndex;\n  readonly lowerIndices: readonly [CovariantIndex, CovariantIndex, CovariantIndex];\n  readonly gLower: MetricTensorNode;\n  readonly gInverse: MetricTensorNode;\n  readonly xCoord: TensorSymbolNode;\n}>;\n\n/**\n * AST node for the Ricci tensor R_μν, built by `ricci`.\n *\n * @public\n */\nexport type RicciTensorNode = CurvatureCompositeNode<'ricci-tensor', {\n  /** The Riemann tensor, contracted on its upper index and its second lower index: R_μν = R^λ_{μλν}. */\n  readonly riemann: RiemannTensorNode;\n}>;\n\n/**\n * AST node for the Einstein tensor G_μν, built by `einstein`.\n *\n * @public\n */\nexport type EinsteinTensorNode = CurvatureCompositeNode<'einstein-tensor', {\n  /** The Riemann tensor whose contraction yields the inner Ricci R_μν. */\n  readonly riemann: RiemannTensorNode;\n  /** Lower metric g_μν — supplies the `½ R g_μν` subtraction tensor. */\n  readonly gLower: MetricTensorNode;\n  /** Upper metric g^μν — supplies the scalar trace `R = g^μν R_μν`. */\n  readonly gInverse: MetricTensorNode;\n}>;\n\n/**\n * AST node for the cyclic second-Bianchi-identity residual, built by `bianchiResidual`.\n *\n * @public\n */\nexport type BianchiResidualNode = CurvatureCompositeNode<'bianchi-residual', {\n  /** The Riemann tensor whose cyclic-derivative identity is checked. */\n  readonly riemann: RiemannTensorNode;\n}>;\n\n/** The Weyl curvature tensor, the trace-free part of the Riemann tensor. */\nexport type WeylTensorNode = CurvatureCompositeNode<'weyl-tensor', {\n  /** Metric g_{μν} (both-lower). Present for numerical lowering consumers. */\n  readonly metric: MetricTensorNode;\n  /** Contravariant (upper) index ρ. */\n  readonly upperIndex: UpperIndex;\n  /** Three covariant (lower) indices [σ, μ, ν]. */\n  readonly lowerIndices: readonly [CovariantIndex, CovariantIndex, CovariantIndex];\n  /** Dimensional signature of each component: [L⁻²], same as Riemann. */\n  readonly componentDim: Dimension;\n}>;\n\n/**\n * AST node for the Kretschmann scalar K = R_{ρσμν} R^{ρσμν}.\n *\n * @public\n */\nexport type KretschmannScalarNode = CurvatureCompositeNode<'kretschmann-scalar', {\n  /** Riemann tensor R^ρ_{σμν}. */\n  readonly riemann: RiemannTensorNode;\n  /** Metric (both-lower preferred). */\n  readonly metric: MetricTensorNode;\n}>;\n\n// ── Killing / stress-energy / field-equation nodes ──────────────────────────\n\n/** A Killing vector field, with its vector and the metric it preserves. */\nexport interface KillingVectorNode {\n  readonly kind: 'killing-vector';\n  readonly vector: TensorSymbolNode;\n  readonly metric: MetricTensorNode;\n}\n\n/** A conserved charge: a Killing vector contracted with a momentum. */\nexport interface ConservedChargeNode {\n  readonly kind: 'conserved-charge';\n  /** The Killing vector ξ^μ (rank-1, upper variance). */\n  readonly killing: KillingVectorNode;\n  /** The covariant momentum p_μ (rank-1, lower variance), sharing the Killing\n   *  vector's index label so ξ^μ p_μ is well-formed. */\n  readonly momentum: TensorSymbolNode;\n}\n\n/** The symmetric stress-energy tensor T, with its indices and component dimension. */\nexport interface StressEnergyTensorNode {\n  readonly kind: 'stress-energy';\n  readonly symbol: 'T';\n  readonly indices: readonly [CovariantIndex, CovariantIndex];\n  readonly symmetry: 'symmetric';\n  readonly componentDim: Dimension;\n}\n\n/** The cosmological constant Λ, with its dimension and optional numeric value. */\nexport interface CosmologicalConstantNode {\n  readonly kind: 'cosmological-constant';\n  readonly symbol: 'Λ';\n  readonly dim: Dimension; // [L⁻²]\n  readonly value?: number; // optional numeric value (e.g., 1.1056e-52 m⁻²)\n}\n\n/**\n * AST node for the Einstein field equation G_μν + Λ g_μν = (8πG/c⁴) T_μν.\n *\n * @public\n */\nexport interface EinsteinFieldEquationNode {\n  readonly kind: 'einstein-equation';\n  readonly lhs: EinsteinTensorNode;\n  readonly cosmological: CosmologicalConstantNode | null;\n  readonly metric: MetricTensorNode;\n  readonly rhs: StressEnergyTensorNode;\n  readonly coupling: 'einstein';\n}\n\n// ── the ExprNode union ──────────────────────────────────────────────────────\n\n/** Any node of a dimensional expression: scalar, calculus, tensor, curvature or field-equation. */\nexport type ExprNode =\n  | { kind: 'symbol'; name: string; dim: Dimension }\n  | { kind: 'op'; op: '+' | '-' | '*' | '/' | '^'; args: ExprNode[] }\n  // ∫ integrand d(over); optional lower/upper bounds make it a DEFINITE integral.\n  | { kind: 'integral'; over: ExprNode; integrand: ExprNode; lower?: ExprNode; upper?: ExprNode }\n  | { kind: 'derivative'; of: ExprNode; wrt: ExprNode }\n  // Dirac-δ correlator: ∫δ(x)dx=1 ⟹ [δ(x)]=[x]⁻¹.\n  | { kind: 'dirac-delta'; arg: ExprNode }\n  // Functional derivative δF/δφ \"over\" the measure dμ: [δF/δφ]=[F]/([φ]·[μ]).\n  | { kind: 'variational-derivative'; functional: ExprNode; field: ExprNode; over: ExprNode }\n  // Elementwise transcendental of a DIMENSIONLESS arg → DIMENSIONLESS result.\n  | { kind: 'transcendental'; fn: TranscendentalFn; arg: ExprNode }\n  // Absolute value |x| — dimension-PRESERVING (unlike the transcendentals).\n  | { kind: 'abs'; arg: ExprNode }\n  | TensorSymbolNode\n  | TensorProductNode\n  | MetricTensorNode\n  | KroneckerDeltaNode\n  | TensorPartialDerivativeNode\n  | CovariantDerivativeNode\n  | RiemannTensorNode\n  | RicciTensorNode\n  | EinsteinTensorNode\n  | BianchiResidualNode\n  | KillingVectorNode\n  | ConservedChargeNode\n  | StressEnergyTensorNode\n  | CosmologicalConstantNode\n  | EinsteinFieldEquationNode\n  | WeylTensorNode\n  | KretschmannScalarNode;\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"buckingham.d.ts","sourceRoot":"","sources":["../../src/dimensional/buckingham.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAI5C;kEACkE;AAClE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;6BAE6B;AAC7B,MAAM,WAAW,OAAO;IACtB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,yDAAyD;AACzD,MAAM,MAAM,iBAAiB,GACzB,2BAA2B,GAC3B,kBAAkB,GAClB,qBAAqB,CAAC;AAE1B,8CAA8C;AAC9C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,yDAAyD;IACzD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,mCAAmC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED,yDAAyD;AACzD,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;oDACgD;IAChD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,oEAAoE;IACpE,QAAQ,CAAC,yBAAyB,CAAC,EAAE,IAAI,CAAC;IAC1C;;;;;OAKG;IACH,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;cACc;AACd,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAsGD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,SAAS,mBAAmB,EAAE,GACxC,gBAAgB,CAsClB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,SAAS,mBAAmB,EAAE,GACxC,8BAA8B,CAmEhC"}
+{"version":3,"file":"buckingham.d.ts","sourceRoot":"","sources":["../../src/dimensional/buckingham.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C;kEACkE;AAClE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;6BAE6B;AAC7B,MAAM,WAAW,OAAO;IACtB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,yDAAyD;AACzD,MAAM,MAAM,iBAAiB,GACzB,2BAA2B,GAC3B,kBAAkB,GAClB,qBAAqB,CAAC;AAE1B,8CAA8C;AAC9C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,yDAAyD;IACzD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,mCAAmC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED,yDAAyD;AACzD,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;oDACgD;IAChD,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,oEAAoE;IACpE,QAAQ,CAAC,yBAAyB,CAAC,EAAE,IAAI,CAAC;IAC1C;;;;;OAKG;IACH,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;cACc;AACd,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AA+ED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,SAAS,mBAAmB,EAAE,GACxC,gBAAgB,CAsClB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,SAAS,mBAAmB,EAAE,GACxC,8BAA8B,CAmEhC"}

package/dist/dimensional/buckingham.js

@@ -26,7 +26,7 @@
  */
 import { Fraction } from '@danielsimonjr/mathts-core';
 import { rationalNullspace } from '@danielsimonjr/mathts-functions';
-const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
+import { BASES } from './algebra.js';
 /** Rationalization failed: a dimension exponent is not a small rational.
  *  @public */
 export class RationalizationError extends Error {
@@ -35,39 +35,28 @@ export class RationalizationError extends Error {
         this.name = 'RationalizationError';
     }
 }
-function gcd(a, b) {
-    a = Math.abs(a);
-    b = Math.abs(b);
-    while (b) {
-        [a, b] = [b, a % b];
-    }
-    return a || 1;
-}
-function frac(n, d) {
-    if (d === 0)
-        throw new RationalizationError('zero denominator');
-    if (d < 0) {
-        n = -n;
-        d = -d;
-    }
-    const g = gcd(n, d);
-    return { n: n / g, d: d / g };
-}
+// ---------------------------------------------------------------------------
+// Exact rational arithmetic: MathTS core `Fraction` (bigint-backed, reduced by
+// its constructor). Dimension exponents are small rationals.
+// ---------------------------------------------------------------------------
 const MAX_DEN = 720;
-/** Convert a (possibly rational) exponent to an exact fraction by scanning
- *  small denominators; throws if none matches within tolerance. */
+/**
+ * Convert a (possibly rational) exponent to an exact {@link Fraction} by
+ * scanning small denominators; throws if none matches within tolerance. The
+ * scan, not `Fraction.fromNumber`'s continued fraction, is what refuses an
+ * irrational exponent instead of approximating it.
+ */
 function toFrac(x) {
     if (Number.isInteger(x))
-        return { n: x, d: 1 };
+        return new Fraction(x, 1);
     for (let d = 2; d <= MAX_DEN; d++) {
         const n = x * d;
         if (Math.abs(n - Math.round(n)) < 1e-9 * Math.max(1, Math.abs(n))) {
-            return frac(Math.round(n), d);
+            return new Fraction(Math.round(n), d);
         }
     }
     throw new RationalizationError(`dimension exponent ${x} is not a rational with denominator ≤ ${MAX_DEN}`);
 }
-const fZero = (a) => a.n === 0;
 /**
  * Exact null space of the dimension matrix. Exponents pass through as
  * {@link Fraction} values after {@link toFrac}, so an irrational is still
@@ -76,8 +65,7 @@ const fZero = (a) => a.n === 0;
  * MathTS integerizes each vector (content 1, first nonzero entry positive).
  */
 function nullSpace(matrix, cols) {
-    const entries = matrix.map((row) => row.map((f) => new Fraction(f.n, f.d)));
-    const solved = rationalNullspace(entries, { columns: cols });
+    const solved = rationalNullspace(matrix, { columns: cols });
     const basis = solved.basis.map((vec) => vec.map((entry) => {
         if (entry.denominator !== 1n) {
             throw new RationalizationError(`null-space entry ${entry.toString()} is not an integer`);
@@ -91,7 +79,7 @@ function buildMatrix(variables) {
     const matrix = [];
     for (const base of BASES) {
         const row = variables.map((v) => toFrac(v.dim[base]));
-        if (row.some((f) => !fZero(f))) {
+        if (row.some((f) => !f.isZero())) {
             spannedBases.push(base);
             matrix.push(row);
         }

package/dist/dimensional/buckingham.js.map

@@ -1 +1 @@
-{"version":3,"file":"buckingham.js","sourceRoot":"","sources":["../../src/dimensional/buckingham.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAGpE,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAkE/D;cACc;AACd,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAYD,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChB,OAAO,CAAC,EAAE,CAAC;QACT,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,IAAI,CAAC,CAAS,EAAE,CAAS;IAChC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,kBAAkB,CAAC,CAAC;IAChE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,CAAC,GAAG,CAAC,CAAC,CAAC;QACP,CAAC,GAAG,CAAC,CAAC,CAAC;IACT,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpB,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;AAChC,CAAC;AAED,MAAM,OAAO,GAAG,GAAG,CAAC;AAEpB;mEACmE;AACnE,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,CAAC,yCAAyC,OAAO,EAAE,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAO,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAE9C;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,MAAgB,EAAE,IAAY;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,KAAK,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;YAC7B,MAAM,IAAI,oBAAoB,CAC5B,oBAAoB,KAAK,CAAC,QAAQ,EAAE,oBAAoB,CACzD,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CACH,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,WAAW,CAAC,SAAyC;IAI5D,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,aAAa,CACpB,SAAiC,EACjC,KAAwB;IAExB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACtB,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;AAClC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,SAAyC;IAEzC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,oBAAoB,CAAC,6CAA6C,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,oBAAoB,CAC5B,qDAAqD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAExD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAc,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC;IAC9B,MAAM,OAAO,GACX,YAAY,KAAK,CAAC;QAChB,CAAC,CAAC,2BAA2B;QAC7B,CAAC,CAAC,YAAY,KAAK,CAAC;YAClB,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,qBAAqB,CAAC;IAE9B,OAAO;QACL,SAAS,EAAE,KAAK;QAChB,cAAc,EAAE,YAAY;QAC5B,aAAa,EAAE,CAAC;QAChB,IAAI;QACJ,YAAY;QACZ,QAAQ;QACR,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAA2B,EAC3B,SAAyC;IAEzC,MAAM,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEpD,MAAM,WAAW,GAAG,YAAY,CAC9B,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAC5C,CAAC;IACF,uEAAuE;IACvE,mEAAmE;IACnE,8BAA8B;IAC9B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,oBAAoB,EAAE,KAAK;YAC3B,MAAM,EACJ,kDAAkD;gBAClD,IAAI,WAAW,CAAC,YAAY,6CAA6C;gBACzE,wCAAwC;SAC3C,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,oBAAoB,EAAE,IAAI,CAAC,YAAY,KAAK,CAAC;YAC7C,MAAM,EACJ,IAAI,CAAC,YAAY,KAAK,CAAC;gBACrB,CAAC,CAAC,6DAA6D;oBAC7D,yEAAyE;gBAC3E,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,8CAA8C;oBAClE,wEAAwE;SAC/E,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,oBAAoB,EAAE,KAAK;YAC3B,MAAM,EACJ,2DAA2D;gBAC3D,gEAAgE;SACnE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC;IACnD,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,SAAS,EAAE,cAAc;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ;QACR,yBAAyB,EAAE,IAAI;QAC/B,oBAAoB,EAAE,KAAK;QAC3B,MAAM,EACJ,4EAA4E;KAC/E,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Buckingham-π enumerator (build target 1 of\n * docs/planning/Bridge-Inference-Epistemics-Note.md — the principled\n * primitive for the classifier's EXACTLY-DETERMINED case).\n *\n * Given a set of dimensional variables presumed to obey one\n * dimensionally-homogeneous relation, the Buckingham-π theorem says that\n * relation re-expresses as F(π₁,…,π_{n−r}) = 0, where each πᵢ is a\n * dimensionless power-product of the variables and there are exactly\n * n − r of them (n = variables, r = rank of the dimension matrix). The\n * π-groups are a basis of the NULL SPACE of the dimension matrix.\n *\n * THE HONEST BOUNDARY (enforced by the result types — there is no value\n * or constant field anywhere): this returns the FORM only. It yields the\n * π-groups and, for a target, the monomial that determines it UP TO A\n * DIMENSIONLESS CONSTANT (the 2π, the ½, α). It does NOT and cannot\n * supply that constant, nor the function F. That boundary is exactly what\n * separates dimensional analysis from numerology — see the epistemics\n * note.\n *\n * Computation is EXACT (rational arithmetic), not floating Gaussian\n * elimination: physics dimension exponents are small rationals, and the\n * null-space basis must be exact to be trustworthy.\n *\n * @module dimensional/buckingham\n */\n\nimport { Fraction } from '@danielsimonjr/mathts-core';\nimport { rationalNullspace } from '@danielsimonjr/mathts-functions';\nimport type { Dimension } from './types.js';\n\nconst BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'] as const;\n\n/** A named physical quantity with a dimension — the enumerator's input.\n *  Structurally satisfied by a composition `Quantity`. @public */\nexport interface DimensionalVariable {\n  readonly name: string;\n  readonly dim: Dimension;\n}\n\n/** A dimensionless power-product of the input variables (integer\n *  exponents; the conventional form). No value — π-groups carry FORM,\n *  not magnitude. @public */\nexport interface PiGroup {\n  /** Integer exponent of each variable in this dimensionless product. */\n  readonly exponents: Readonly<Record<string, number>>;\n  /** Display form, e.g. `period^2 · gravity · length^-1`. */\n  readonly formula: string;\n}\n\n/** The dimensional closure of a variable set. @public */\nexport type BuckinghamVerdict =\n  | 'dimensionally-independent' // 0 π-groups: no dimensionless product exists\n  | 'single-invariant' // 1 π-group: one dimensionless invariant\n  | 'multiple-invariants'; // ≥2 π-groups: a family F(π₁,…)\n\n/** Result of {@link buckinghamPi}. @public */\nexport interface BuckinghamResult {\n  readonly variables: readonly string[];\n  /** Base SI dimensions actually spanned by the inputs. */\n  readonly baseDimensions: readonly string[];\n  /** n — the number of variables. */\n  readonly variableCount: number;\n  /** r — the rank of the dimension matrix. */\n  readonly rank: number;\n  /** n − r — the number of independent dimensionless groups. */\n  readonly piGroupCount: number;\n  readonly piGroups: readonly PiGroup[];\n  readonly verdict: BuckinghamVerdict;\n}\n\n/** Result of {@link dimensionallyDetermines}. @public */\nexport interface DimensionalDeterminationResult {\n  readonly target: string;\n  readonly governing: readonly string[];\n  /** True iff the target is fixed by the governing variables UP TO A\n   *  DIMENSIONLESS CONSTANT (unique monomial). */\n  readonly determined: boolean;\n  /**\n   * When determined: target = const · Π(governingⱼ ^ monomial[j]). The\n   * exponents may be rational (e.g. 0.5 for a √ law). Always read with\n   * `upToDimensionlessConstant` — the leading constant is NOT supplied.\n   */\n  readonly monomial?: Readonly<Record<string, number>>;\n  /** Always true when `monomial` is present — a standing reminder. */\n  readonly upToDimensionlessConstant?: true;\n  /**\n   * True only when the target's dimension is not in the span of the governing\n   * variables, so a monomial needs dimensionful constants the inputs do not\n   * name. False when the governing variables are dimensionally dependent or\n   * leave more than one π-group: that failure is not a missing constant.\n   */\n  readonly outsideGoverningSpan: boolean;\n  /** Plain-language reason for the verdict. */\n  readonly reason: string;\n}\n\n/** Rationalization failed: a dimension exponent is not a small rational.\n *  @public */\nexport class RationalizationError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'RationalizationError';\n  }\n}\n\n// ---------------------------------------------------------------------------\n// Exact rational arithmetic (number-backed; dimension exponents are small\n// rationals, so reduced fractions never overflow in practice).\n// ---------------------------------------------------------------------------\n\ninterface Frac {\n  readonly n: number;\n  readonly d: number;\n}\n\nfunction gcd(a: number, b: number): number {\n  a = Math.abs(a);\n  b = Math.abs(b);\n  while (b) {\n    [a, b] = [b, a % b];\n  }\n  return a || 1;\n}\n\nfunction frac(n: number, d: number): Frac {\n  if (d === 0) throw new RationalizationError('zero denominator');\n  if (d < 0) {\n    n = -n;\n    d = -d;\n  }\n  const g = gcd(n, d);\n  return { n: n / g, d: d / g };\n}\n\nconst MAX_DEN = 720;\n\n/** Convert a (possibly rational) exponent to an exact fraction by scanning\n *  small denominators; throws if none matches within tolerance. */\nfunction toFrac(x: number): Frac {\n  if (Number.isInteger(x)) return { n: x, d: 1 };\n  for (let d = 2; d <= MAX_DEN; d++) {\n    const n = x * d;\n    if (Math.abs(n - Math.round(n)) < 1e-9 * Math.max(1, Math.abs(n))) {\n      return frac(Math.round(n), d);\n    }\n  }\n  throw new RationalizationError(\n    `dimension exponent ${x} is not a rational with denominator ≤ ${MAX_DEN}`,\n  );\n}\n\nconst fZero = (a: Frac): boolean => a.n === 0;\n\n/**\n * Exact null space of the dimension matrix. Exponents pass through as\n * {@link Fraction} values after {@link toFrac}, so an irrational is still\n * {@link RationalizationError} and is not accepted by a continued fraction.\n * A matrix with no rows is `0×n`: `{ columns: n }` is the standard basis.\n * MathTS integerizes each vector (content 1, first nonzero entry positive).\n */\nfunction nullSpace(matrix: Frac[][], cols: number): { basis: number[][]; rank: number } {\n  const entries = matrix.map((row) => row.map((f) => new Fraction(f.n, f.d)));\n  const solved = rationalNullspace(entries, { columns: cols });\n  const basis = solved.basis.map((vec) =>\n    vec.map((entry) => {\n      if (entry.denominator !== 1n) {\n        throw new RationalizationError(\n          `null-space entry ${entry.toString()} is not an integer`,\n        );\n      }\n      return Number(entry.numerator);\n    }),\n  );\n  return { basis, rank: solved.rank };\n}\n\nfunction buildMatrix(variables: readonly DimensionalVariable[]): {\n  matrix: Frac[][];\n  spannedBases: string[];\n} {\n  const spannedBases: string[] = [];\n  const matrix: Frac[][] = [];\n  for (const base of BASES) {\n    const row = variables.map((v) => toFrac(v.dim[base]));\n    if (row.some((f) => !fZero(f))) {\n      spannedBases.push(base);\n      matrix.push(row);\n    }\n  }\n  return { matrix, spannedBases };\n}\n\nfunction formatPiGroup(\n  exponents: Record<string, number>,\n  order: readonly string[],\n): string {\n  const parts: string[] = [];\n  for (const name of order) {\n    const e = exponents[name];\n    if (e === 0) continue;\n    parts.push(e === 1 ? name : `${name}^${e}`);\n  }\n  return parts.join(' · ') || '1';\n}\n\n/**\n * Enumerate the Buckingham-π groups of a dimensional variable set. Returns\n * the rank, the count n − r, and a null-space basis of dimensionless\n * groups. FORM only — no constants (see module docs).\n *\n * @public\n */\nexport function buckinghamPi(\n  variables: readonly DimensionalVariable[],\n): BuckinghamResult {\n  if (variables.length === 0) {\n    throw new RationalizationError('buckinghamPi requires at least one variable');\n  }\n  const names = variables.map((v) => v.name);\n  if (new Set(names).size !== names.length) {\n    throw new RationalizationError(\n      `buckinghamPi requires unique variable names; got [${names.join(', ')}]`,\n    );\n  }\n\n  const n = variables.length;\n  const { matrix, spannedBases } = buildMatrix(variables);\n\n  const { basis, rank } = nullSpace(matrix, n);\n  const piGroups: PiGroup[] = basis.map((vec) => {\n    const exponents: Record<string, number> = {};\n    for (let j = 0; j < n; j++) exponents[names[j]] = vec[j];\n    return { exponents, formula: formatPiGroup(exponents, names) };\n  });\n\n  const piGroupCount = n - rank;\n  const verdict: BuckinghamVerdict =\n    piGroupCount === 0\n      ? 'dimensionally-independent'\n      : piGroupCount === 1\n        ? 'single-invariant'\n        : 'multiple-invariants';\n\n  return {\n    variables: names,\n    baseDimensions: spannedBases,\n    variableCount: n,\n    rank,\n    piGroupCount,\n    piGroups,\n    verdict,\n  };\n}\n\n/**\n * Does the governing set fix the target UP TO A DIMENSIONLESS CONSTANT?\n *\n * True iff the governing variables are dimensionally independent and the\n * target's dimension lies in their span — equivalently, the full set has\n * exactly one π-group and the governing set has none. When determined,\n * returns the (possibly rational) monomial exponents such that\n * target = const · Π(governingⱼ ^ monomial[j]). The constant is NOT\n * supplied — dimensional analysis cannot.\n *\n * @public\n */\nexport function dimensionallyDetermines(\n  target: DimensionalVariable,\n  governing: readonly DimensionalVariable[],\n): DimensionalDeterminationResult {\n  const governingNames = governing.map((v) => v.name);\n\n  const governingPi = buckinghamPi(\n    governing.length > 0 ? governing : [target],\n  );\n  // A redundancy among the governing variables means the monomial is not\n  // unique (any dimensionless governing combo can be folded into the\n  // constant) → not determined.\n  if (governing.length > 0 && governingPi.piGroupCount > 0) {\n    return {\n      target: target.name,\n      governing: governingNames,\n      determined: false,\n      outsideGoverningSpan: false,\n      reason:\n        'governing variables are dimensionally dependent ' +\n        `(${governingPi.piGroupCount} dimensionless combination(s) among them); ` +\n        'the determining monomial is not unique',\n    };\n  }\n\n  const full = buckinghamPi([target, ...governing]);\n  if (full.piGroupCount !== 1) {\n    return {\n      target: target.name,\n      governing: governingNames,\n      determined: false,\n      outsideGoverningSpan: full.piGroupCount === 0,\n      reason:\n        full.piGroupCount === 0\n          ? \"the target's dimension is not in the span of the governing \" +\n            'variables — no dimensionless group exists, so no monomial determines it'\n          : `${full.piGroupCount} independent π-groups — the target is fixed ` +\n            'only as a function of several dimensionless ratios (under-constrained)',\n    };\n  }\n\n  // The single π-group involves the target; solve it for the target.\n  const group = full.piGroups[0].exponents;\n  const targetExp = group[target.name];\n  if (!targetExp) {\n    return {\n      target: target.name,\n      governing: governingNames,\n      determined: false,\n      outsideGoverningSpan: false,\n      reason:\n        'the sole dimensionless group does not involve the target ' +\n        '(the target is dimensionally redundant with the governing set)',\n    };\n  }\n  const monomial: Record<string, number> = {};\n  for (const name of governingNames) {\n    monomial[name] = -(group[name] ?? 0) / targetExp;\n  }\n\n  return {\n    target: target.name,\n    governing: governingNames,\n    determined: true,\n    monomial,\n    upToDimensionlessConstant: true,\n    outsideGoverningSpan: false,\n    reason:\n      'unique dimensionless group fixes the target up to a dimensionless constant',\n  };\n}\n"]}
+{"version":3,"file":"buckingham.js","sourceRoot":"","sources":["../../src/dimensional/buckingham.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAEpE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAkErC;cACc;AACd,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED,8EAA8E;AAC9E,+EAA+E;AAC/E,6DAA6D;AAC7D,8EAA8E;AAE9E,MAAM,OAAO,GAAG,GAAG,CAAC;AAEpB;;;;;GAKG;AACH,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,CAAC,yCAAyC,OAAO,EAAE,CAC1E,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,MAAoB,EAAE,IAAY;IACnD,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACrC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,KAAK,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;YAC7B,MAAM,IAAI,oBAAoB,CAC5B,oBAAoB,KAAK,CAAC,QAAQ,EAAE,oBAAoB,CACzD,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CACH,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,WAAW,CAAC,SAAyC;IAI5D,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,aAAa,CACpB,SAAiC,EACjC,KAAwB;IAExB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACtB,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;AAClC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,SAAyC;IAEzC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,oBAAoB,CAAC,6CAA6C,CAAC,CAAC;IAChF,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,oBAAoB,CAC5B,qDAAqD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAExD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAc,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC;IAC9B,MAAM,OAAO,GACX,YAAY,KAAK,CAAC;QAChB,CAAC,CAAC,2BAA2B;QAC7B,CAAC,CAAC,YAAY,KAAK,CAAC;YAClB,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,qBAAqB,CAAC;IAE9B,OAAO;QACL,SAAS,EAAE,KAAK;QAChB,cAAc,EAAE,YAAY;QAC5B,aAAa,EAAE,CAAC;QAChB,IAAI;QACJ,YAAY;QACZ,QAAQ;QACR,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAA2B,EAC3B,SAAyC;IAEzC,MAAM,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEpD,MAAM,WAAW,GAAG,YAAY,CAC9B,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAC5C,CAAC;IACF,uEAAuE;IACvE,mEAAmE;IACnE,8BAA8B;IAC9B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,oBAAoB,EAAE,KAAK;YAC3B,MAAM,EACJ,kDAAkD;gBAClD,IAAI,WAAW,CAAC,YAAY,6CAA6C;gBACzE,wCAAwC;SAC3C,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAClD,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,oBAAoB,EAAE,IAAI,CAAC,YAAY,KAAK,CAAC;YAC7C,MAAM,EACJ,IAAI,CAAC,YAAY,KAAK,CAAC;gBACrB,CAAC,CAAC,6DAA6D;oBAC7D,yEAAyE;gBAC3E,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,8CAA8C;oBAClE,wEAAwE;SAC/E,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,SAAS,EAAE,cAAc;YACzB,UAAU,EAAE,KAAK;YACjB,oBAAoB,EAAE,KAAK;YAC3B,MAAM,EACJ,2DAA2D;gBAC3D,gEAAgE;SACnE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC;IACnD,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,SAAS,EAAE,cAAc;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ;QACR,yBAAyB,EAAE,IAAI;QAC/B,oBAAoB,EAAE,KAAK;QAC3B,MAAM,EACJ,4EAA4E;KAC/E,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Buckingham-π enumerator (build target 1 of\n * docs/planning/Bridge-Inference-Epistemics-Note.md — the principled\n * primitive for the classifier's EXACTLY-DETERMINED case).\n *\n * Given a set of dimensional variables presumed to obey one\n * dimensionally-homogeneous relation, the Buckingham-π theorem says that\n * relation re-expresses as F(π₁,…,π_{n−r}) = 0, where each πᵢ is a\n * dimensionless power-product of the variables and there are exactly\n * n − r of them (n = variables, r = rank of the dimension matrix). The\n * π-groups are a basis of the NULL SPACE of the dimension matrix.\n *\n * THE HONEST BOUNDARY (enforced by the result types — there is no value\n * or constant field anywhere): this returns the FORM only. It yields the\n * π-groups and, for a target, the monomial that determines it UP TO A\n * DIMENSIONLESS CONSTANT (the 2π, the ½, α). It does NOT and cannot\n * supply that constant, nor the function F. That boundary is exactly what\n * separates dimensional analysis from numerology — see the epistemics\n * note.\n *\n * Computation is EXACT (rational arithmetic), not floating Gaussian\n * elimination: physics dimension exponents are small rationals, and the\n * null-space basis must be exact to be trustworthy.\n *\n * @module dimensional/buckingham\n */\n\nimport { Fraction } from '@danielsimonjr/mathts-core';\nimport { rationalNullspace } from '@danielsimonjr/mathts-functions';\nimport type { Dimension } from './types.js';\nimport { BASES } from './algebra.js';\n\n/** A named physical quantity with a dimension — the enumerator's input.\n *  Structurally satisfied by a composition `Quantity`. @public */\nexport interface DimensionalVariable {\n  readonly name: string;\n  readonly dim: Dimension;\n}\n\n/** A dimensionless power-product of the input variables (integer\n *  exponents; the conventional form). No value — π-groups carry FORM,\n *  not magnitude. @public */\nexport interface PiGroup {\n  /** Integer exponent of each variable in this dimensionless product. */\n  readonly exponents: Readonly<Record<string, number>>;\n  /** Display form, e.g. `period^2 · gravity · length^-1`. */\n  readonly formula: string;\n}\n\n/** The dimensional closure of a variable set. @public */\nexport type BuckinghamVerdict =\n  | 'dimensionally-independent' // 0 π-groups: no dimensionless product exists\n  | 'single-invariant' // 1 π-group: one dimensionless invariant\n  | 'multiple-invariants'; // ≥2 π-groups: a family F(π₁,…)\n\n/** Result of {@link buckinghamPi}. @public */\nexport interface BuckinghamResult {\n  readonly variables: readonly string[];\n  /** Base SI dimensions actually spanned by the inputs. */\n  readonly baseDimensions: readonly string[];\n  /** n — the number of variables. */\n  readonly variableCount: number;\n  /** r — the rank of the dimension matrix. */\n  readonly rank: number;\n  /** n − r — the number of independent dimensionless groups. */\n  readonly piGroupCount: number;\n  readonly piGroups: readonly PiGroup[];\n  readonly verdict: BuckinghamVerdict;\n}\n\n/** Result of {@link dimensionallyDetermines}. @public */\nexport interface DimensionalDeterminationResult {\n  readonly target: string;\n  readonly governing: readonly string[];\n  /** True iff the target is fixed by the governing variables UP TO A\n   *  DIMENSIONLESS CONSTANT (unique monomial). */\n  readonly determined: boolean;\n  /**\n   * When determined: target = const · Π(governingⱼ ^ monomial[j]). The\n   * exponents may be rational (e.g. 0.5 for a √ law). Always read with\n   * `upToDimensionlessConstant` — the leading constant is NOT supplied.\n   */\n  readonly monomial?: Readonly<Record<string, number>>;\n  /** Always true when `monomial` is present — a standing reminder. */\n  readonly upToDimensionlessConstant?: true;\n  /**\n   * True only when the target's dimension is not in the span of the governing\n   * variables, so a monomial needs dimensionful constants the inputs do not\n   * name. False when the governing variables are dimensionally dependent or\n   * leave more than one π-group: that failure is not a missing constant.\n   */\n  readonly outsideGoverningSpan: boolean;\n  /** Plain-language reason for the verdict. */\n  readonly reason: string;\n}\n\n/** Rationalization failed: a dimension exponent is not a small rational.\n *  @public */\nexport class RationalizationError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'RationalizationError';\n  }\n}\n\n// ---------------------------------------------------------------------------\n// Exact rational arithmetic: MathTS core `Fraction` (bigint-backed, reduced by\n// its constructor). Dimension exponents are small rationals.\n// ---------------------------------------------------------------------------\n\nconst MAX_DEN = 720;\n\n/**\n * Convert a (possibly rational) exponent to an exact {@link Fraction} by\n * scanning small denominators; throws if none matches within tolerance. The\n * scan, not `Fraction.fromNumber`'s continued fraction, is what refuses an\n * irrational exponent instead of approximating it.\n */\nfunction toFrac(x: number): Fraction {\n  if (Number.isInteger(x)) return new Fraction(x, 1);\n  for (let d = 2; d <= MAX_DEN; d++) {\n    const n = x * d;\n    if (Math.abs(n - Math.round(n)) < 1e-9 * Math.max(1, Math.abs(n))) {\n      return new Fraction(Math.round(n), d);\n    }\n  }\n  throw new RationalizationError(\n    `dimension exponent ${x} is not a rational with denominator ≤ ${MAX_DEN}`,\n  );\n}\n\n/**\n * Exact null space of the dimension matrix. Exponents pass through as\n * {@link Fraction} values after {@link toFrac}, so an irrational is still\n * {@link RationalizationError} and is not accepted by a continued fraction.\n * A matrix with no rows is `0×n`: `{ columns: n }` is the standard basis.\n * MathTS integerizes each vector (content 1, first nonzero entry positive).\n */\nfunction nullSpace(matrix: Fraction[][], cols: number): { basis: number[][]; rank: number } {\n  const solved = rationalNullspace(matrix, { columns: cols });\n  const basis = solved.basis.map((vec) =>\n    vec.map((entry) => {\n      if (entry.denominator !== 1n) {\n        throw new RationalizationError(\n          `null-space entry ${entry.toString()} is not an integer`,\n        );\n      }\n      return Number(entry.numerator);\n    }),\n  );\n  return { basis, rank: solved.rank };\n}\n\nfunction buildMatrix(variables: readonly DimensionalVariable[]): {\n  matrix: Fraction[][];\n  spannedBases: string[];\n} {\n  const spannedBases: string[] = [];\n  const matrix: Fraction[][] = [];\n  for (const base of BASES) {\n    const row = variables.map((v) => toFrac(v.dim[base]));\n    if (row.some((f) => !f.isZero())) {\n      spannedBases.push(base);\n      matrix.push(row);\n    }\n  }\n  return { matrix, spannedBases };\n}\n\nfunction formatPiGroup(\n  exponents: Record<string, number>,\n  order: readonly string[],\n): string {\n  const parts: string[] = [];\n  for (const name of order) {\n    const e = exponents[name];\n    if (e === 0) continue;\n    parts.push(e === 1 ? name : `${name}^${e}`);\n  }\n  return parts.join(' · ') || '1';\n}\n\n/**\n * Enumerate the Buckingham-π groups of a dimensional variable set. Returns\n * the rank, the count n − r, and a null-space basis of dimensionless\n * groups. FORM only — no constants (see module docs).\n *\n * @public\n */\nexport function buckinghamPi(\n  variables: readonly DimensionalVariable[],\n): BuckinghamResult {\n  if (variables.length === 0) {\n    throw new RationalizationError('buckinghamPi requires at least one variable');\n  }\n  const names = variables.map((v) => v.name);\n  if (new Set(names).size !== names.length) {\n    throw new RationalizationError(\n      `buckinghamPi requires unique variable names; got [${names.join(', ')}]`,\n    );\n  }\n\n  const n = variables.length;\n  const { matrix, spannedBases } = buildMatrix(variables);\n\n  const { basis, rank } = nullSpace(matrix, n);\n  const piGroups: PiGroup[] = basis.map((vec) => {\n    const exponents: Record<string, number> = {};\n    for (let j = 0; j < n; j++) exponents[names[j]] = vec[j];\n    return { exponents, formula: formatPiGroup(exponents, names) };\n  });\n\n  const piGroupCount = n - rank;\n  const verdict: BuckinghamVerdict =\n    piGroupCount === 0\n      ? 'dimensionally-independent'\n      : piGroupCount === 1\n        ? 'single-invariant'\n        : 'multiple-invariants';\n\n  return {\n    variables: names,\n    baseDimensions: spannedBases,\n    variableCount: n,\n    rank,\n    piGroupCount,\n    piGroups,\n    verdict,\n  };\n}\n\n/**\n * Does the governing set fix the target UP TO A DIMENSIONLESS CONSTANT?\n *\n * True iff the governing variables are dimensionally independent and the\n * target's dimension lies in their span — equivalently, the full set has\n * exactly one π-group and the governing set has none. When determined,\n * returns the (possibly rational) monomial exponents such that\n * target = const · Π(governingⱼ ^ monomial[j]). The constant is NOT\n * supplied — dimensional analysis cannot.\n *\n * @public\n */\nexport function dimensionallyDetermines(\n  target: DimensionalVariable,\n  governing: readonly DimensionalVariable[],\n): DimensionalDeterminationResult {\n  const governingNames = governing.map((v) => v.name);\n\n  const governingPi = buckinghamPi(\n    governing.length > 0 ? governing : [target],\n  );\n  // A redundancy among the governing variables means the monomial is not\n  // unique (any dimensionless governing combo can be folded into the\n  // constant) → not determined.\n  if (governing.length > 0 && governingPi.piGroupCount > 0) {\n    return {\n      target: target.name,\n      governing: governingNames,\n      determined: false,\n      outsideGoverningSpan: false,\n      reason:\n        'governing variables are dimensionally dependent ' +\n        `(${governingPi.piGroupCount} dimensionless combination(s) among them); ` +\n        'the determining monomial is not unique',\n    };\n  }\n\n  const full = buckinghamPi([target, ...governing]);\n  if (full.piGroupCount !== 1) {\n    return {\n      target: target.name,\n      governing: governingNames,\n      determined: false,\n      outsideGoverningSpan: full.piGroupCount === 0,\n      reason:\n        full.piGroupCount === 0\n          ? \"the target's dimension is not in the span of the governing \" +\n            'variables — no dimensionless group exists, so no monomial determines it'\n          : `${full.piGroupCount} independent π-groups — the target is fixed ` +\n            'only as a function of several dimensionless ratios (under-constrained)',\n    };\n  }\n\n  // The single π-group involves the target; solve it for the target.\n  const group = full.piGroups[0].exponents;\n  const targetExp = group[target.name];\n  if (!targetExp) {\n    return {\n      target: target.name,\n      governing: governingNames,\n      determined: false,\n      outsideGoverningSpan: false,\n      reason:\n        'the sole dimensionless group does not involve the target ' +\n        '(the target is dimensionally redundant with the governing set)',\n    };\n  }\n  const monomial: Record<string, number> = {};\n  for (const name of governingNames) {\n    monomial[name] = -(group[name] ?? 0) / targetExp;\n  }\n\n  return {\n    target: target.name,\n    governing: governingNames,\n    determined: true,\n    monomial,\n    upToDimensionlessConstant: true,\n    outsideGoverningSpan: false,\n    reason:\n      'unique dimensionless group fixes the target up to a dimensionless constant',\n  };\n}\n"]}

package/dist/dimensional/constant-rows.js

@@ -34,9 +34,9 @@ export const CONSTANT_ROWS = [
     row({ name: 'c', spellings: ['speed-of-light', 'speed_of_light'], value: C_SI, unit: 'm/s', canonical: true, mathts: 'speedOfLight', exact: true,
         meaning: 'speed of light in vacuum', source: `exact SI (${OWNER} C_SI)` }),
     row({ name: 'R_inf', spellings: ['Rinf', 'R_infinity', 'rydberg'], quantity: 'rydberg-constant', value: R_INF_SI, unit: '1/m', canonical: true, mathts: 'rydberg',
-        meaning: 'Rydberg constant R∞, infinite nuclear mass (the reduced-mass correction R_M = R∞/(1 + m_e/M) is not applied)', source: `CODATA 2018 (${OWNER} R_INF_SI)` }),
+        meaning: 'Rydberg constant R∞, infinite nuclear mass (the reduced-mass correction R_M = R∞/(1 + m_e/M) is not applied)', source: `CODATA 2022, MathTS (${OWNER} R_INF_SI)` }),
     row({ name: 'G', value: G_SI, unit: 'm^3/(kg*s^2)', canonical: true, mathts: 'gravitationConstant',
-        meaning: 'Newtonian gravitational constant', source: `CODATA 2018 (${OWNER} G_SI)` }),
+        meaning: 'Newtonian gravitational constant', source: `CODATA 2022, MathTS (${OWNER} G_SI)` }),
     row({ name: 'k_B', spellings: ['kB', 'boltzmann'], quantity: 'boltzmann-constant', value: K_B_SI, unit: 'J/K', canonical: true, mathts: 'boltzmann', exact: true,
         meaning: 'Boltzmann constant', source: `exact SI, 2019 redefinition (${OWNER} K_B_SI)` }),
     row({ name: 'ln2', value: Math.LN2, unit: '1', canonical: true, irrational: true,
@@ -53,25 +53,25 @@ export const CONSTANT_ROWS = [
     row({ name: 'e', spellings: ['e_charge'], value: E_SI, unit: 'C', canonical: true, mathts: 'elementaryCharge', exact: true,
         meaning: 'elementary charge', source: `exact SI, 2019 redefinition (${OWNER} E_SI)` }),
     row({ name: 'epsilon_0', spellings: ['epsilon0', 'eps0', 'vacuum-permittivity'], value: EPS0_SI, unit: 'F/m', canonical: true,
-        meaning: 'vacuum permittivity', source: `CODATA 2018 (${OWNER} EPS0_SI)` }),
+        meaning: 'vacuum permittivity', source: `CODATA 2022, MathTS (${OWNER} EPS0_SI)` }),
     row({ name: 'sigma_sb', spellings: ['stefan-boltzmann-constant'], value: SIGMA_SB_SI, unit: 'W/(m^2*K^4)', canonical: true, mathts: 'stefanBoltzmann',
-        meaning: 'Stefan–Boltzmann constant', source: `CODATA 2018 (${OWNER} SIGMA_SB_SI)` }),
+        meaning: 'Stefan–Boltzmann constant', source: `CODATA 2022, MathTS (${OWNER} SIGMA_SB_SI)` }),
     row({ name: 'b', spellings: ['wien-constant'], value: B_WIEN_SI, unit: 'm*K', canonical: true, mathts: 'wienDisplacement',
-        meaning: 'Wien displacement constant', source: `CODATA 2018 (${OWNER} B_WIEN_SI)` }),
+        meaning: 'Wien displacement constant', source: `CODATA 2022, MathTS (${OWNER} B_WIEN_SI)` }),
     // IAU 2015 nominal solar parameter. M_sun in eval stays the rounded kilogram M_SUN_SI.
     row({ name: 'GM_sun', value: GM_SUN_SI, unit: 'm^3/s^2', canonical: true,
         meaning: 'IAU nominal solar gravitational parameter (GM)☉', source: `IAU 2015 Resolution B3 (${OWNER} GM_SUN_SI)` }),
     row({ name: 'Msun_iau', value: M_SUN_IAU_SI, unit: 'kg', canonical: true,
         meaning: 'IAU solar mass (GM)☉/G, the mass that reproduces GM_sun with G_SI', source: `GM_SUN_SI/G_SI (${OWNER} M_SUN_IAU_SI)` }),
     row({ name: 'm_u', value: M_U_SI, unit: 'kg', canonical: true, mathts: 'atomicMass',
-        meaning: 'unified atomic mass unit (atomic mass constant)', source: `CODATA 2018 (${OWNER} M_U_SI)` }),
+        meaning: 'unified atomic mass unit (atomic mass constant)', source: `CODATA 2022, MathTS (${OWNER} M_U_SI)` }),
     row({ name: 'm_e', spellings: ['electron_mass', 'electron-mass'], value: M_E_SI, unit: 'kg', canonical: true, mathts: 'electronMass',
-        meaning: 'electron mass', source: `CODATA 2018 (${OWNER} M_E_SI)` }),
+        meaning: 'electron mass', source: `CODATA 2022, MathTS (${OWNER} M_E_SI)` }),
     // ── overlay names for `upt eval` and the dimensional assignment only ────
     row({ name: 'mu_0', spellings: ['mu0'], value: MU0_SI, unit: 'H/m', mathts: 'magneticConstant',
         meaning: 'vacuum permeability 1/(ε₀ c²)', source: `1/(EPS0_SI·C_SI²) (${OWNER} MU0_SI)` }),
     row({ name: 'm_p', spellings: ['m_proton'], value: M_PROTON_SI, unit: 'kg', mathts: 'protonMass',
-        meaning: 'proton mass', source: `CODATA 2018 (${OWNER} M_PROTON_SI)` }),
+        meaning: 'proton mass', source: `CODATA 2022, MathTS (${OWNER} M_PROTON_SI)` }),
     row({ name: 'N_A', value: N_A_SI, unit: 'mol^-1', mathts: 'avogadro', exact: true,
         meaning: 'Avogadro constant', source: `exact SI, 2019 redefinition (${OWNER} N_A_SI)` }),
     row({ name: 'F', value: FARADAY_SI, unit: 'C/mol', mathts: 'faraday', exact: true,
@@ -88,7 +88,7 @@ export const CONSTANT_ROWS = [
     row({ name: 'scale_factor', value: 1, unit: 'm',
         meaning: 'Friedmann scale factor, unit by default', source: 'this registry (default 1)' }),
     row({ name: 'sigma_T', value: THOMSON_CROSS_SECTION_SI, unit: 'm^2', mathts: 'thomsonCrossSection',
-        meaning: 'Thomson cross section', source: `CODATA 2018 (${OWNER} THOMSON_CROSS_SECTION_SI)` }),
+        meaning: 'Thomson cross section', source: `CODATA 2022, MathTS (${OWNER} THOMSON_CROSS_SECTION_SI)` }),
     row({ name: 'lane_emden_omega_3', quantity: 'lane-emden-omega-3', value: LANE_EMDEN_OMEGA3, unit: '1',
         meaning: 'Lane–Emden n = 3 dimensionless radius', source: `${OWNER} LANE_EMDEN_OMEGA3` }),
     row({ name: 'euler_gamma', value: EULER_GAMMA, unit: '1',

package/dist/dimensional/constant-rows.js.map

@@ -1 +1 @@
-{"version":3,"file":"constant-rows.js","sourceRoot":"","sources":["../../src/dimensional/constant-rows.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,WAAW,EACX,UAAU,EACV,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,mBAAmB,EACnB,OAAO,EACP,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,MAAM,EACN,WAAW,EACX,wBAAwB,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AA6CnE,MAAM,GAAG,GAAG,CAAC,KAAe,EAAe,EAAE,CAAC,CAAC;IAC7C,GAAG,KAAK;IACR,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,EAAE;IAChC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,KAAK;CACpC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,mBAAmB,CAAC;AAElC,2FAA2F;AAC3F,MAAM,CAAC,MAAM,aAAa,GAA2B;IACnD,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,yBAAyB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI;QACzJ,OAAO,EAAE,gCAAgC,EAAE,MAAM,EAAE,oBAAoB,KAAK,WAAW;QACvF,IAAI,EACF,sFAAsF,mBAAmB,GAAG;YAC5G,mDAAmD,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClI,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI;QAC5H,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACtF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI;QAC9I,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,aAAa,KAAK,QAAQ,EAAE,CAAC;IAC5E,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS;QAC/J,OAAO,EAAE,8GAA8G,EAAE,MAAM,EAAE,gBAAgB,KAAK,YAAY,EAAE,CAAC;IACvK,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,kCAAkC,EAAE,MAAM,EAAE,gBAAgB,KAAK,QAAQ,EAAE,CAAC;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI;QAC9J,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC3F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;IAClF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,yEAAyE;IACzE,wEAAwE;IACxE,kCAAkC;IAClC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI;QACxH,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,qBAAqB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;QAC3H,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,gBAAgB,KAAK,WAAW,EAAE,CAAC;IAC7E,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,2BAA2B,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB;QACnJ,OAAO,EAAE,2BAA2B,EAAE,MAAM,EAAE,gBAAgB,KAAK,eAAe,EAAE,CAAC;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB;QACvH,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,gBAAgB,KAAK,aAAa,EAAE,CAAC;IACtF,uFAAuF;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,2BAA2B,KAAK,aAAa,EAAE,CAAC;IACtH,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,mEAAmE,EAAE,MAAM,EAAE,mBAAmB,KAAK,gBAAgB,EAAE,CAAC;IACnI,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QACjF,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,gBAAgB,KAAK,UAAU,EAAE,CAAC;IACxG,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc;QAClI,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,gBAAgB,KAAK,UAAU,EAAE,CAAC;IACtE,2EAA2E;IAC3E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB;QAC5F,OAAO,EAAE,+BAA+B,EAAE,MAAM,EAAE,sBAAsB,KAAK,UAAU,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,gBAAgB,KAAK,eAAe,EAAE,CAAC;IACzE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC1F,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,gBAAgB,KAAK,cAAc,EAAE,CAAC;IACnF,wFAAwF;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI;QAC5F,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,kBAAkB,KAAK,GAAG,EAAE,CAAC;IAC9E,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC9C,OAAO,EAAE,kDAAkD,EAAE,MAAM,EAAE,GAAG,KAAK,WAAW,EAAE,CAAC;IAC7F,yEAAyE;IACzE,sDAAsD;IACtD,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC5C,OAAO,EAAE,4CAA4C,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IACpG,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC7C,OAAO,EAAE,yCAAyC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,gBAAgB,KAAK,4BAA4B,EAAE,CAAC;IAChG,GAAG,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,GAAG;QACnG,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,KAAK,oBAAoB,EAAE,CAAC;IAC3F,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG;QACtD,OAAO,EAAE,6BAA6B,EAAE,MAAM,EAAE,GAAG,KAAK,cAAc,EAAE,CAAC;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI;QACjD,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;IACnG,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC/C,OAAO,EAAE,mCAAmC,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;CAC7G,CAAC;AAEF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;AACnD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,oBAAoB,CAAC,CAAC;QACpG,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,QAAgB;IAC1C,OAAO,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC","sourcesContent":["/**\n * The constant registry's rows as written: name, spellings, SI value, SI unit\n * text, meaning, source and flags, one row per physical constant a formula or\n * the unit table may name.\n *\n * `symbolic-constants.ts` derives each row's dimension from its unit with\n * `parseUnit` and owns every projection. The rows live here, apart from that\n * derivation, because the unit table reads constants too: `data/units.json`\n * names `c`, `e`, `m_u`, `M_sun`, `Msun_iau` and `ln2` by these spellings, and\n * the unit parser cannot import a module that imports the unit parser. This\n * module imports only `core/constants.ts`, the owner of every value, so the\n * unit loader and the registry read one set of spellings with no cycle.\n *\n * INTERNAL — not on the public surface.\n *\n * @module dimensional/constant-rows\n */\n\nimport {\n  B_WIEN_SI,\n  C_SI,\n  E_SI,\n  EPS0_SI,\n  EULER_GAMMA,\n  FARADAY_SI,\n  G_SI,\n  GM_SUN_SI,\n  H_SI,\n  HBAR_CODATA_DISPLAY,\n  HBAR_SI,\n  K_B_SI,\n  LANE_EMDEN_OMEGA3,\n  M_E_SI,\n  M_PROTON_SI,\n  M_SUN_IAU_SI,\n  M_SUN_SI,\n  M_U_SI,\n  MU0_SI,\n  N_A_SI,\n  SIGMA_SB_SI,\n  THOMSON_CROSS_SECTION_SI, R_INF_SI } from '../core/constants.js';\n\n/** One registered constant as written: everything but the dimension, which `symbolic-constants.ts` derives from `unit`. @internal */\nexport interface ConstantRow {\n  /** The formula name; the first spelling, and the key of every projection. */\n  readonly name: string;\n  /** Other exact-case spellings a caller may type. */\n  readonly spellings: readonly string[];\n  readonly value: number;\n  /** The SI unit, in the syntax `parseUnit` reads. The dimension is derived from it. */\n  readonly unit: string;\n  readonly meaning: string;\n  readonly source: string;\n  /** A universal constant a canonical `governing` list may bake. */\n  readonly canonical: boolean;\n  /** A caveat printed wherever the constant is used (`upt eval`, a relation that names it). */\n  readonly note?: string;\n  /** The `@danielsimonjr/mathts-functions` export that states the same constant (CODATA 2022 there), when one exists. The second method. */\n  readonly mathts?: string;\n  /** The two libraries agree to the last bit: exact in the 2019 SI, or a product of exact constants. */\n  readonly exact?: true;\n  /**\n   * The `data/quantities.json` id this constant is also a quantity of. The\n   * quantity registry takes the constant's spellings as that row's aliases;\n   * the file does not repeat them, so a spelling has one owner.\n   */\n  readonly quantity?: string;\n  /**\n   * A mathematical constant no rational states (ln 2, 2π, 4π, 8π). An exact\n   * reader (`data/units.json`'s scale expressions) carries `value` as the\n   * irrational factor instead of reading its decimal as a rational.\n   */\n  readonly irrational?: true;\n}\n\ntype RowInput = Omit<ConstantRow, 'spellings' | 'canonical' | 'note' | 'mathts' | 'exact' | 'quantity' | 'irrational'> & {\n  readonly quantity?: string;\n  readonly irrational?: true;\n  readonly note?: string;\n  readonly mathts?: string;\n  readonly exact?: true;\n  readonly spellings?: readonly string[];\n  readonly canonical?: boolean;\n};\n\nconst row = (input: RowInput): ConstantRow => ({\n  ...input,\n  spellings: input.spellings ?? [],\n  canonical: input.canonical ?? false,\n});\n\nconst OWNER = 'core/constants.ts';\n\n/** Every registered constant as written. Order is the order the tables print. @internal */\nexport const CONSTANT_ROWS: readonly ConstantRow[] = [\n  // ── universal constants a canonical equation may bake ──────────────────\n  row({ name: 'hbar', spellings: ['ℏ', 'reduced-planck-constant'], value: HBAR_SI, unit: 'J*s', canonical: true, mathts: 'reducedPlanckConstant', exact: true,\n    meaning: 'reduced Planck constant h/(2π)', source: `exact H_SI/(2π) (${OWNER} HBAR_SI)`,\n    note:\n      `hbar is HBAR_SI = H_SI/(2π), the exact reduced Planck constant. The CODATA display ${HBAR_CODATA_DISPLAY} ` +\n      `is that quotient truncated (relative difference ${(Math.abs(HBAR_CODATA_DISPLAY - HBAR_SI) / HBAR_SI).toExponential(3)}).` }),\n  row({ name: 'h', quantity: 'planck-constant', value: H_SI, unit: 'J*s', canonical: true, mathts: 'planckConstant', exact: true,\n    meaning: 'Planck constant', source: `exact SI, 2019 redefinition (${OWNER} H_SI)` }),\n  row({ name: 'c', spellings: ['speed-of-light', 'speed_of_light'], value: C_SI, unit: 'm/s', canonical: true, mathts: 'speedOfLight', exact: true,\n    meaning: 'speed of light in vacuum', source: `exact SI (${OWNER} C_SI)` }),\n  row({ name: 'R_inf', spellings: ['Rinf', 'R_infinity', 'rydberg'], quantity: 'rydberg-constant', value: R_INF_SI, unit: '1/m', canonical: true, mathts: 'rydberg',\n    meaning: 'Rydberg constant R∞, infinite nuclear mass (the reduced-mass correction R_M = R∞/(1 + m_e/M) is not applied)', source: `CODATA 2018 (${OWNER} R_INF_SI)` }),\n  row({ name: 'G', value: G_SI, unit: 'm^3/(kg*s^2)', canonical: true, mathts: 'gravitationConstant',\n    meaning: 'Newtonian gravitational constant', source: `CODATA 2018 (${OWNER} G_SI)` }),\n  row({ name: 'k_B', spellings: ['kB', 'boltzmann'], quantity: 'boltzmann-constant', value: K_B_SI, unit: 'J/K', canonical: true, mathts: 'boltzmann', exact: true,\n    meaning: 'Boltzmann constant', source: `exact SI, 2019 redefinition (${OWNER} K_B_SI)` }),\n  row({ name: 'ln2', value: Math.LN2, unit: '1', canonical: true, irrational: true,\n    meaning: 'natural logarithm of 2', source: 'mathematical constant (Math.LN2)' }),\n  row({ name: '8pi', value: 8 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '8π', source: 'mathematical constant (8·Math.PI)' }),\n  row({ name: '4pi', value: 4 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '4π', source: 'mathematical constant (4·Math.PI)' }),\n  row({ name: '2pi', value: 2 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '2π', source: 'mathematical constant (2·Math.PI)' }),\n  // ISO 80000 / CODATA: a bare e is the elementary charge. Eccentricity is\n  // one_minus_e_sq. The canonical dimension guard still refuses to bake a\n  // dimensionless governing name e.\n  row({ name: 'e', spellings: ['e_charge'], value: E_SI, unit: 'C', canonical: true, mathts: 'elementaryCharge', exact: true,\n    meaning: 'elementary charge', source: `exact SI, 2019 redefinition (${OWNER} E_SI)` }),\n  row({ name: 'epsilon_0', spellings: ['epsilon0', 'eps0', 'vacuum-permittivity'], value: EPS0_SI, unit: 'F/m', canonical: true,\n    meaning: 'vacuum permittivity', source: `CODATA 2018 (${OWNER} EPS0_SI)` }),\n  row({ name: 'sigma_sb', spellings: ['stefan-boltzmann-constant'], value: SIGMA_SB_SI, unit: 'W/(m^2*K^4)', canonical: true, mathts: 'stefanBoltzmann',\n    meaning: 'Stefan–Boltzmann constant', source: `CODATA 2018 (${OWNER} SIGMA_SB_SI)` }),\n  row({ name: 'b', spellings: ['wien-constant'], value: B_WIEN_SI, unit: 'm*K', canonical: true, mathts: 'wienDisplacement',\n    meaning: 'Wien displacement constant', source: `CODATA 2018 (${OWNER} B_WIEN_SI)` }),\n  // IAU 2015 nominal solar parameter. M_sun in eval stays the rounded kilogram M_SUN_SI.\n  row({ name: 'GM_sun', value: GM_SUN_SI, unit: 'm^3/s^2', canonical: true,\n    meaning: 'IAU nominal solar gravitational parameter (GM)☉', source: `IAU 2015 Resolution B3 (${OWNER} GM_SUN_SI)` }),\n  row({ name: 'Msun_iau', value: M_SUN_IAU_SI, unit: 'kg', canonical: true,\n    meaning: 'IAU solar mass (GM)☉/G, the mass that reproduces GM_sun with G_SI', source: `GM_SUN_SI/G_SI (${OWNER} M_SUN_IAU_SI)` }),\n  row({ name: 'm_u', value: M_U_SI, unit: 'kg', canonical: true, mathts: 'atomicMass',\n    meaning: 'unified atomic mass unit (atomic mass constant)', source: `CODATA 2018 (${OWNER} M_U_SI)` }),\n  row({ name: 'm_e', spellings: ['electron_mass', 'electron-mass'], value: M_E_SI, unit: 'kg', canonical: true, mathts: 'electronMass',\n    meaning: 'electron mass', source: `CODATA 2018 (${OWNER} M_E_SI)` }),\n  // ── overlay names for `upt eval` and the dimensional assignment only ────\n  row({ name: 'mu_0', spellings: ['mu0'], value: MU0_SI, unit: 'H/m', mathts: 'magneticConstant',\n    meaning: 'vacuum permeability 1/(ε₀ c²)', source: `1/(EPS0_SI·C_SI²) (${OWNER} MU0_SI)` }),\n  row({ name: 'm_p', spellings: ['m_proton'], value: M_PROTON_SI, unit: 'kg', mathts: 'protonMass',\n    meaning: 'proton mass', source: `CODATA 2018 (${OWNER} M_PROTON_SI)` }),\n  row({ name: 'N_A', value: N_A_SI, unit: 'mol^-1', mathts: 'avogadro', exact: true,\n    meaning: 'Avogadro constant', source: `exact SI, 2019 redefinition (${OWNER} N_A_SI)` }),\n  row({ name: 'F', value: FARADAY_SI, unit: 'C/mol', mathts: 'faraday', exact: true,\n    meaning: 'Faraday constant N_A e', source: `N_A_SI·E_SI (${OWNER} FARADAY_SI)` }),\n  // R = N_A k_B, the molar gas constant the thermochemical records state in their titles.\n  row({ name: 'R', value: N_A_SI * K_B_SI, unit: 'J/(mol*K)', mathts: 'gasConstant', exact: true,\n    meaning: 'molar gas constant N_A k_B', source: `N_A_SI·K_B_SI (${OWNER})` }),\n  row({ name: 'M_sun', value: M_SUN_SI, unit: 'kg',\n    meaning: 'solar mass, the repo-conventional kilogram value', source: `${OWNER} M_SUN_SI` }),\n  // `curvature_k` and `scale_factor` are the Friedmann curvature extension\n  // (the frozen `CE-friedmann` entry is the flat term).\n  row({ name: 'curvature_k', value: 0, unit: '1',\n    meaning: 'Friedmann curvature index, flat by default', source: 'this registry (flat default 0)' }),\n  row({ name: 'scale_factor', value: 1, unit: 'm',\n    meaning: 'Friedmann scale factor, unit by default', source: 'this registry (default 1)' }),\n  row({ name: 'sigma_T', value: THOMSON_CROSS_SECTION_SI, unit: 'm^2', mathts: 'thomsonCrossSection',\n    meaning: 'Thomson cross section', source: `CODATA 2018 (${OWNER} THOMSON_CROSS_SECTION_SI)` }),\n  row({ name: 'lane_emden_omega_3', quantity: 'lane-emden-omega-3', value: LANE_EMDEN_OMEGA3, unit: '1',\n    meaning: 'Lane–Emden n = 3 dimensionless radius', source: `${OWNER} LANE_EMDEN_OMEGA3` }),\n  row({ name: 'euler_gamma', value: EULER_GAMMA, unit: '1',\n    meaning: 'Euler–Mascheroni constant γ', source: `${OWNER} EULER_GAMMA` }),\n  // GRW mass amplification: λ = λ₀ · (m / m₀), with λ₀ a rate and m₀ a mass.\n  // The two numbers are the catalog expression's, so the rate is unchanged.\n  row({ name: 'grw_lambda0', value: 1e-16, unit: 'Hz',\n    meaning: 'GRW localization rate λ₀', source: 'catalog expression (Ghirardi–Rimini–Weber 1986)' }),\n  row({ name: 'grw_m0', value: 1.67e-27, unit: 'kg',\n    meaning: 'GRW reference mass m₀ (a nucleon)', source: 'catalog expression (Ghirardi–Rimini–Weber 1986)' }),\n];\n\nconst BY_SPELLING = new Map<string, ConstantRow>();\nfor (const constant of CONSTANT_ROWS) {\n  for (const spelling of [constant.name, ...constant.spellings]) {\n    if (BY_SPELLING.has(spelling)) throw new Error(`constant registry: '${spelling}' is spelled twice`);\n    BY_SPELLING.set(spelling, constant);\n  }\n}\n\n/** The registered constant row `spelling` names, or undefined. @internal */\nexport function constantRow(spelling: string): ConstantRow | undefined {\n  return BY_SPELLING.get(spelling);\n}\n"]}
+{"version":3,"file":"constant-rows.js","sourceRoot":"","sources":["../../src/dimensional/constant-rows.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,WAAW,EACX,UAAU,EACV,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,mBAAmB,EACnB,OAAO,EACP,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,MAAM,EACN,WAAW,EACX,wBAAwB,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AA6CnE,MAAM,GAAG,GAAG,CAAC,KAAe,EAAe,EAAE,CAAC,CAAC;IAC7C,GAAG,KAAK;IACR,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,EAAE;IAChC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,KAAK;CACpC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,mBAAmB,CAAC;AAElC,2FAA2F;AAC3F,MAAM,CAAC,MAAM,aAAa,GAA2B;IACnD,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,yBAAyB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI;QACzJ,OAAO,EAAE,gCAAgC,EAAE,MAAM,EAAE,oBAAoB,KAAK,WAAW;QACvF,IAAI,EACF,sFAAsF,mBAAmB,GAAG;YAC5G,mDAAmD,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClI,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI;QAC5H,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACtF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI;QAC9I,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,aAAa,KAAK,QAAQ,EAAE,CAAC;IAC5E,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS;QAC/J,OAAO,EAAE,8GAA8G,EAAE,MAAM,EAAE,wBAAwB,KAAK,YAAY,EAAE,CAAC;IAC/K,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,kCAAkC,EAAE,MAAM,EAAE,wBAAwB,KAAK,QAAQ,EAAE,CAAC;IAC/F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI;QAC9J,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC3F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;IAClF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;QACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IAC/D,yEAAyE;IACzE,wEAAwE;IACxE,kCAAkC;IAClC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI;QACxH,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,QAAQ,EAAE,CAAC;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,qBAAqB,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI;QAC3H,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,wBAAwB,KAAK,WAAW,EAAE,CAAC;IACrF,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,2BAA2B,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB;QACnJ,OAAO,EAAE,2BAA2B,EAAE,MAAM,EAAE,wBAAwB,KAAK,eAAe,EAAE,CAAC;IAC/F,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB;QACvH,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,wBAAwB,KAAK,aAAa,EAAE,CAAC;IAC9F,uFAAuF;IACvF,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,2BAA2B,KAAK,aAAa,EAAE,CAAC;IACtH,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI;QACtE,OAAO,EAAE,mEAAmE,EAAE,MAAM,EAAE,mBAAmB,KAAK,gBAAgB,EAAE,CAAC;IACnI,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QACjF,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,wBAAwB,KAAK,UAAU,EAAE,CAAC;IAChH,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc;QAClI,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,wBAAwB,KAAK,UAAU,EAAE,CAAC;IAC9E,2EAA2E;IAC3E,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB;QAC5F,OAAO,EAAE,+BAA+B,EAAE,MAAM,EAAE,sBAAsB,KAAK,UAAU,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY;QAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,wBAAwB,KAAK,eAAe,EAAE,CAAC;IACjF,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,gCAAgC,KAAK,UAAU,EAAE,CAAC;IAC1F,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI;QAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,gBAAgB,KAAK,cAAc,EAAE,CAAC;IACnF,wFAAwF;IACxF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI;QAC5F,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,kBAAkB,KAAK,GAAG,EAAE,CAAC;IAC9E,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC9C,OAAO,EAAE,kDAAkD,EAAE,MAAM,EAAE,GAAG,KAAK,WAAW,EAAE,CAAC;IAC7F,yEAAyE;IACzE,sDAAsD;IACtD,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC5C,OAAO,EAAE,4CAA4C,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IACpG,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG;QAC7C,OAAO,EAAE,yCAAyC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IAC5F,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,qBAAqB;QAChG,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,wBAAwB,KAAK,4BAA4B,EAAE,CAAC;IACxG,GAAG,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,GAAG;QACnG,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,KAAK,oBAAoB,EAAE,CAAC;IAC3F,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG;QACtD,OAAO,EAAE,6BAA6B,EAAE,MAAM,EAAE,GAAG,KAAK,cAAc,EAAE,CAAC;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI;QACjD,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;IACnG,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI;QAC/C,OAAO,EAAE,mCAAmC,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC;CAC7G,CAAC;AAEF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;AACnD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;IACrC,KAAK,MAAM,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,oBAAoB,CAAC,CAAC;QACpG,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,QAAgB;IAC1C,OAAO,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC","sourcesContent":["/**\n * The constant registry's rows as written: name, spellings, SI value, SI unit\n * text, meaning, source and flags, one row per physical constant a formula or\n * the unit table may name.\n *\n * `symbolic-constants.ts` derives each row's dimension from its unit with\n * `parseUnit` and owns every projection. The rows live here, apart from that\n * derivation, because the unit table reads constants too: `data/units.json`\n * names `c`, `e`, `m_u`, `M_sun`, `Msun_iau` and `ln2` by these spellings, and\n * the unit parser cannot import a module that imports the unit parser. This\n * module imports only `core/constants.ts`, the owner of every value, so the\n * unit loader and the registry read one set of spellings with no cycle.\n *\n * INTERNAL — not on the public surface.\n *\n * @module dimensional/constant-rows\n */\n\nimport {\n  B_WIEN_SI,\n  C_SI,\n  E_SI,\n  EPS0_SI,\n  EULER_GAMMA,\n  FARADAY_SI,\n  G_SI,\n  GM_SUN_SI,\n  H_SI,\n  HBAR_CODATA_DISPLAY,\n  HBAR_SI,\n  K_B_SI,\n  LANE_EMDEN_OMEGA3,\n  M_E_SI,\n  M_PROTON_SI,\n  M_SUN_IAU_SI,\n  M_SUN_SI,\n  M_U_SI,\n  MU0_SI,\n  N_A_SI,\n  SIGMA_SB_SI,\n  THOMSON_CROSS_SECTION_SI, R_INF_SI } from '../core/constants.js';\n\n/** One registered constant as written: everything but the dimension, which `symbolic-constants.ts` derives from `unit`. @internal */\nexport interface ConstantRow {\n  /** The formula name; the first spelling, and the key of every projection. */\n  readonly name: string;\n  /** Other exact-case spellings a caller may type. */\n  readonly spellings: readonly string[];\n  readonly value: number;\n  /** The SI unit, in the syntax `parseUnit` reads. The dimension is derived from it. */\n  readonly unit: string;\n  readonly meaning: string;\n  readonly source: string;\n  /** A universal constant a canonical `governing` list may bake. */\n  readonly canonical: boolean;\n  /** A caveat printed wherever the constant is used (`upt eval`, a relation that names it). */\n  readonly note?: string;\n  /** The `@danielsimonjr/mathts-functions` export that states the same constant (CODATA 2022 there), when one exists. The second method. */\n  readonly mathts?: string;\n  /** The two libraries agree to the last bit: exact in the 2019 SI, or a product of exact constants. */\n  readonly exact?: true;\n  /**\n   * The `data/quantities.json` id this constant is also a quantity of. The\n   * quantity registry takes the constant's spellings as that row's aliases;\n   * the file does not repeat them, so a spelling has one owner.\n   */\n  readonly quantity?: string;\n  /**\n   * A mathematical constant no rational states (ln 2, 2π, 4π, 8π). An exact\n   * reader (`data/units.json`'s scale expressions) carries `value` as the\n   * irrational factor instead of reading its decimal as a rational.\n   */\n  readonly irrational?: true;\n}\n\ntype RowInput = Omit<ConstantRow, 'spellings' | 'canonical' | 'note' | 'mathts' | 'exact' | 'quantity' | 'irrational'> & {\n  readonly quantity?: string;\n  readonly irrational?: true;\n  readonly note?: string;\n  readonly mathts?: string;\n  readonly exact?: true;\n  readonly spellings?: readonly string[];\n  readonly canonical?: boolean;\n};\n\nconst row = (input: RowInput): ConstantRow => ({\n  ...input,\n  spellings: input.spellings ?? [],\n  canonical: input.canonical ?? false,\n});\n\nconst OWNER = 'core/constants.ts';\n\n/** Every registered constant as written. Order is the order the tables print. @internal */\nexport const CONSTANT_ROWS: readonly ConstantRow[] = [\n  // ── universal constants a canonical equation may bake ──────────────────\n  row({ name: 'hbar', spellings: ['ℏ', 'reduced-planck-constant'], value: HBAR_SI, unit: 'J*s', canonical: true, mathts: 'reducedPlanckConstant', exact: true,\n    meaning: 'reduced Planck constant h/(2π)', source: `exact H_SI/(2π) (${OWNER} HBAR_SI)`,\n    note:\n      `hbar is HBAR_SI = H_SI/(2π), the exact reduced Planck constant. The CODATA display ${HBAR_CODATA_DISPLAY} ` +\n      `is that quotient truncated (relative difference ${(Math.abs(HBAR_CODATA_DISPLAY - HBAR_SI) / HBAR_SI).toExponential(3)}).` }),\n  row({ name: 'h', quantity: 'planck-constant', value: H_SI, unit: 'J*s', canonical: true, mathts: 'planckConstant', exact: true,\n    meaning: 'Planck constant', source: `exact SI, 2019 redefinition (${OWNER} H_SI)` }),\n  row({ name: 'c', spellings: ['speed-of-light', 'speed_of_light'], value: C_SI, unit: 'm/s', canonical: true, mathts: 'speedOfLight', exact: true,\n    meaning: 'speed of light in vacuum', source: `exact SI (${OWNER} C_SI)` }),\n  row({ name: 'R_inf', spellings: ['Rinf', 'R_infinity', 'rydberg'], quantity: 'rydberg-constant', value: R_INF_SI, unit: '1/m', canonical: true, mathts: 'rydberg',\n    meaning: 'Rydberg constant R∞, infinite nuclear mass (the reduced-mass correction R_M = R∞/(1 + m_e/M) is not applied)', source: `CODATA 2022, MathTS (${OWNER} R_INF_SI)` }),\n  row({ name: 'G', value: G_SI, unit: 'm^3/(kg*s^2)', canonical: true, mathts: 'gravitationConstant',\n    meaning: 'Newtonian gravitational constant', source: `CODATA 2022, MathTS (${OWNER} G_SI)` }),\n  row({ name: 'k_B', spellings: ['kB', 'boltzmann'], quantity: 'boltzmann-constant', value: K_B_SI, unit: 'J/K', canonical: true, mathts: 'boltzmann', exact: true,\n    meaning: 'Boltzmann constant', source: `exact SI, 2019 redefinition (${OWNER} K_B_SI)` }),\n  row({ name: 'ln2', value: Math.LN2, unit: '1', canonical: true, irrational: true,\n    meaning: 'natural logarithm of 2', source: 'mathematical constant (Math.LN2)' }),\n  row({ name: '8pi', value: 8 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '8π', source: 'mathematical constant (8·Math.PI)' }),\n  row({ name: '4pi', value: 4 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '4π', source: 'mathematical constant (4·Math.PI)' }),\n  row({ name: '2pi', value: 2 * Math.PI, unit: '1', canonical: true, irrational: true,\n    meaning: '2π', source: 'mathematical constant (2·Math.PI)' }),\n  // ISO 80000 / CODATA: a bare e is the elementary charge. Eccentricity is\n  // one_minus_e_sq. The canonical dimension guard still refuses to bake a\n  // dimensionless governing name e.\n  row({ name: 'e', spellings: ['e_charge'], value: E_SI, unit: 'C', canonical: true, mathts: 'elementaryCharge', exact: true,\n    meaning: 'elementary charge', source: `exact SI, 2019 redefinition (${OWNER} E_SI)` }),\n  row({ name: 'epsilon_0', spellings: ['epsilon0', 'eps0', 'vacuum-permittivity'], value: EPS0_SI, unit: 'F/m', canonical: true,\n    meaning: 'vacuum permittivity', source: `CODATA 2022, MathTS (${OWNER} EPS0_SI)` }),\n  row({ name: 'sigma_sb', spellings: ['stefan-boltzmann-constant'], value: SIGMA_SB_SI, unit: 'W/(m^2*K^4)', canonical: true, mathts: 'stefanBoltzmann',\n    meaning: 'Stefan–Boltzmann constant', source: `CODATA 2022, MathTS (${OWNER} SIGMA_SB_SI)` }),\n  row({ name: 'b', spellings: ['wien-constant'], value: B_WIEN_SI, unit: 'm*K', canonical: true, mathts: 'wienDisplacement',\n    meaning: 'Wien displacement constant', source: `CODATA 2022, MathTS (${OWNER} B_WIEN_SI)` }),\n  // IAU 2015 nominal solar parameter. M_sun in eval stays the rounded kilogram M_SUN_SI.\n  row({ name: 'GM_sun', value: GM_SUN_SI, unit: 'm^3/s^2', canonical: true,\n    meaning: 'IAU nominal solar gravitational parameter (GM)☉', source: `IAU 2015 Resolution B3 (${OWNER} GM_SUN_SI)` }),\n  row({ name: 'Msun_iau', value: M_SUN_IAU_SI, unit: 'kg', canonical: true,\n    meaning: 'IAU solar mass (GM)☉/G, the mass that reproduces GM_sun with G_SI', source: `GM_SUN_SI/G_SI (${OWNER} M_SUN_IAU_SI)` }),\n  row({ name: 'm_u', value: M_U_SI, unit: 'kg', canonical: true, mathts: 'atomicMass',\n    meaning: 'unified atomic mass unit (atomic mass constant)', source: `CODATA 2022, MathTS (${OWNER} M_U_SI)` }),\n  row({ name: 'm_e', spellings: ['electron_mass', 'electron-mass'], value: M_E_SI, unit: 'kg', canonical: true, mathts: 'electronMass',\n    meaning: 'electron mass', source: `CODATA 2022, MathTS (${OWNER} M_E_SI)` }),\n  // ── overlay names for `upt eval` and the dimensional assignment only ────\n  row({ name: 'mu_0', spellings: ['mu0'], value: MU0_SI, unit: 'H/m', mathts: 'magneticConstant',\n    meaning: 'vacuum permeability 1/(ε₀ c²)', source: `1/(EPS0_SI·C_SI²) (${OWNER} MU0_SI)` }),\n  row({ name: 'm_p', spellings: ['m_proton'], value: M_PROTON_SI, unit: 'kg', mathts: 'protonMass',\n    meaning: 'proton mass', source: `CODATA 2022, MathTS (${OWNER} M_PROTON_SI)` }),\n  row({ name: 'N_A', value: N_A_SI, unit: 'mol^-1', mathts: 'avogadro', exact: true,\n    meaning: 'Avogadro constant', source: `exact SI, 2019 redefinition (${OWNER} N_A_SI)` }),\n  row({ name: 'F', value: FARADAY_SI, unit: 'C/mol', mathts: 'faraday', exact: true,\n    meaning: 'Faraday constant N_A e', source: `N_A_SI·E_SI (${OWNER} FARADAY_SI)` }),\n  // R = N_A k_B, the molar gas constant the thermochemical records state in their titles.\n  row({ name: 'R', value: N_A_SI * K_B_SI, unit: 'J/(mol*K)', mathts: 'gasConstant', exact: true,\n    meaning: 'molar gas constant N_A k_B', source: `N_A_SI·K_B_SI (${OWNER})` }),\n  row({ name: 'M_sun', value: M_SUN_SI, unit: 'kg',\n    meaning: 'solar mass, the repo-conventional kilogram value', source: `${OWNER} M_SUN_SI` }),\n  // `curvature_k` and `scale_factor` are the Friedmann curvature extension\n  // (the frozen `CE-friedmann` entry is the flat term).\n  row({ name: 'curvature_k', value: 0, unit: '1',\n    meaning: 'Friedmann curvature index, flat by default', source: 'this registry (flat default 0)' }),\n  row({ name: 'scale_factor', value: 1, unit: 'm',\n    meaning: 'Friedmann scale factor, unit by default', source: 'this registry (default 1)' }),\n  row({ name: 'sigma_T', value: THOMSON_CROSS_SECTION_SI, unit: 'm^2', mathts: 'thomsonCrossSection',\n    meaning: 'Thomson cross section', source: `CODATA 2022, MathTS (${OWNER} THOMSON_CROSS_SECTION_SI)` }),\n  row({ name: 'lane_emden_omega_3', quantity: 'lane-emden-omega-3', value: LANE_EMDEN_OMEGA3, unit: '1',\n    meaning: 'Lane–Emden n = 3 dimensionless radius', source: `${OWNER} LANE_EMDEN_OMEGA3` }),\n  row({ name: 'euler_gamma', value: EULER_GAMMA, unit: '1',\n    meaning: 'Euler–Mascheroni constant γ', source: `${OWNER} EULER_GAMMA` }),\n  // GRW mass amplification: λ = λ₀ · (m / m₀), with λ₀ a rate and m₀ a mass.\n  // The two numbers are the catalog expression's, so the rate is unchanged.\n  row({ name: 'grw_lambda0', value: 1e-16, unit: 'Hz',\n    meaning: 'GRW localization rate λ₀', source: 'catalog expression (Ghirardi–Rimini–Weber 1986)' }),\n  row({ name: 'grw_m0', value: 1.67e-27, unit: 'kg',\n    meaning: 'GRW reference mass m₀ (a nucleon)', source: 'catalog expression (Ghirardi–Rimini–Weber 1986)' }),\n];\n\nconst BY_SPELLING = new Map<string, ConstantRow>();\nfor (const constant of CONSTANT_ROWS) {\n  for (const spelling of [constant.name, ...constant.spellings]) {\n    if (BY_SPELLING.has(spelling)) throw new Error(`constant registry: '${spelling}' is spelled twice`);\n    BY_SPELLING.set(spelling, constant);\n  }\n}\n\n/** The registered constant row `spelling` names, or undefined. @internal */\nexport function constantRow(spelling: string): ConstantRow | undefined {\n  return BY_SPELLING.get(spelling);\n}\n"]}

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

@@ -45,7 +45,7 @@ export type CurvatureKind = 'riemann-tensor' | 'ricci-tensor' | 'einstein-tensor
  * `componentDim` is the SI dimension of each component in the F8/I3 convention
  * (metric is dimensionless, coordinates carry [L]).
  *
- * @public
+ * @internal
  */
 interface CurvatureKindSpec {
     readonly freeIndicesShape: 'rank-4-1upper-3lower' | 'rank-2-lower-lower' | 'rank-3-lower' | 'scalar';

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

@@ -1 +1 @@
-{"version":3,"file":"curvature-composite.js","sourceRoot":"","sources":["../../src/dimensional/curvature-composite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAwDH,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,yFAAyF;QACzF,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","sourcesContent":["/**\n * Curvature composite-AST factory (v0.6.0 Phase 3, Task 3.9).\n *\n * PD-6 trigger fires: Weyl is the 5th curvature primitive (after\n * Riemann/Ricci/Einstein/Bianchi from v0.5.0). The 4-kind parallel\n * duplication is now extracted into a shared factory.\n *\n * Net LOC change: −180 (per design Decision #5).\n *\n * P-1 fix: `CurvatureCompositeNode<K, S>` is an intersection type, not an\n * interface with an unused S. Without the intersection, the per-kind\n * slot type-safety would silently drop (the S parameter would be\n * decorative and TypeScript would not compose it into the result).\n *\n * @module dimensional/curvature-composite\n */\n\nimport type { Dimension } from './types.js';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureKind discriminant union\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Discriminant union of all curvature-composite AST node kinds in UPT v0.6.0.\n *\n * Six curvature primitives:\n *   - `riemann-tensor`     — R^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])\n *   - `ricci-tensor`       — R_{μν}       (rank-2 lower-lower,  [L⁻²])\n *   - `einstein-tensor`    — G_{μν}       (rank-2 lower-lower,  [L⁻²])\n *   - `bianchi-residual`   — B_{λμνρσ}   (rank-5 lower,        [L⁻³])\n *   - `weyl-tensor`        — C^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])\n *   - `kretschmann-scalar` — K            (scalar,              [L⁻⁴])\n *\n * @public\n */\nexport type CurvatureKind =\n  | 'riemann-tensor'\n  | 'ricci-tensor'\n  | 'einstein-tensor'\n  | 'bianchi-residual'\n  | 'weyl-tensor'\n  | 'kretschmann-scalar';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureKindSpec — per-kind shape + dim descriptor\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Per-kind specification record used by the registry.\n *\n * `freeIndicesShape` is a human-readable summary of the free-index structure:\n *   - `'rank-4-1upper-3lower'` — 1 upper + 3 lower (Riemann, Weyl)\n *   - `'rank-2-lower-lower'`   — 2 lower (Ricci, Einstein)\n *   - `'rank-3-lower'`         — the Bianchi residual B_{λμνρσ}, which has FIVE lower\n *                                  indices. The \"3\" is not the rank: it counts the three\n *                                  cyclic terms over (λ, μ, ν) in\n *                                  B_{λμνρσ} = ∇_λ R_{μνρσ} + ∇_μ R_{νλρσ} + ∇_ν R_{λμρσ}.\n *                                  The name stays because the registry is public.\n *   - `'scalar'`               — 0 free indices (Kretschmann)\n *\n * `componentDim` is the SI dimension of each component in the F8/I3 convention\n * (metric is dimensionless, coordinates carry [L]).\n *\n * @public\n */\ninterface CurvatureKindSpec {\n  readonly freeIndicesShape: 'rank-4-1upper-3lower' | 'rank-2-lower-lower' | 'rank-3-lower' | 'scalar';\n  readonly componentDim: Dimension;\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CURVATURE_KIND_REGISTRY\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Registry mapping each `CurvatureKind` to its shape + dimensional spec.\n *\n * Used by:\n *   - Tests: to assert all 6 kinds are registered and that Riemann + Weyl\n *     share the rank-4 shape (refactor-only invariant).\n *   - Future lowering consolidation: `CURVATURE_KIND_REGISTRY[node.kind]`\n *     can supply common validation data without per-kind duplication.\n *\n * @public\n */\nexport const CURVATURE_KIND_REGISTRY: Record<CurvatureKind, CurvatureKindSpec> = {\n  'riemann-tensor': {\n    freeIndicesShape: 'rank-4-1upper-3lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'ricci-tensor': {\n    freeIndicesShape: 'rank-2-lower-lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'einstein-tensor': {\n    freeIndicesShape: 'rank-2-lower-lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'bianchi-residual': {\n    // Five lower indices; '3' counts the cyclic terms, not the rank (see CurvatureKindSpec).\n    freeIndicesShape: 'rank-3-lower',\n    componentDim: { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'weyl-tensor': {\n    freeIndicesShape: 'rank-4-1upper-3lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'kretschmann-scalar': {\n    freeIndicesShape: 'scalar',\n    componentDim: { L: -4, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n};\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureCompositeNode<K, S> — shared factory type\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Generic factory type for all curvature-composite AST nodes.\n *\n * **P-1 fix (v0.6.0 plan-vet):** Must be an intersection type, not an\n * interface with an unused type parameter. The intersection `{ kind: K } & S`\n * ensures TypeScript actually composes the kind-specific slot type `S` into\n * the resulting type, giving real discriminant + kind-specific type safety.\n *\n * Usage (type alias):\n * ```typescript\n * type RicciTensorNode = CurvatureCompositeNode<'ricci-tensor', {\n *   readonly riemann: RiemannTensorNode;\n * }>;\n * ```\n *\n * The intersection produces:\n * ```typescript\n * { readonly kind: 'ricci-tensor' } & { readonly riemann: RiemannTensorNode }\n * // ≡ { readonly kind: 'ricci-tensor'; readonly riemann: RiemannTensorNode }\n * ```\n *\n * @public\n */\nexport type CurvatureCompositeNode<K extends CurvatureKind, S extends object> = {\n  readonly kind: K;\n} & S;\n"]}
+{"version":3,"file":"curvature-composite.js","sourceRoot":"","sources":["../../src/dimensional/curvature-composite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAwDH,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,yFAAyF;QACzF,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","sourcesContent":["/**\n * Curvature composite-AST factory (v0.6.0 Phase 3, Task 3.9).\n *\n * PD-6 trigger fires: Weyl is the 5th curvature primitive (after\n * Riemann/Ricci/Einstein/Bianchi from v0.5.0). The 4-kind parallel\n * duplication is now extracted into a shared factory.\n *\n * Net LOC change: −180 (per design Decision #5).\n *\n * P-1 fix: `CurvatureCompositeNode<K, S>` is an intersection type, not an\n * interface with an unused S. Without the intersection, the per-kind\n * slot type-safety would silently drop (the S parameter would be\n * decorative and TypeScript would not compose it into the result).\n *\n * @module dimensional/curvature-composite\n */\n\nimport type { Dimension } from './types.js';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureKind discriminant union\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Discriminant union of all curvature-composite AST node kinds in UPT v0.6.0.\n *\n * Six curvature primitives:\n *   - `riemann-tensor`     — R^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])\n *   - `ricci-tensor`       — R_{μν}       (rank-2 lower-lower,  [L⁻²])\n *   - `einstein-tensor`    — G_{μν}       (rank-2 lower-lower,  [L⁻²])\n *   - `bianchi-residual`   — B_{λμνρσ}   (rank-5 lower,        [L⁻³])\n *   - `weyl-tensor`        — C^ρ_{σμν}   (rank-4, 1-up 3-down, [L⁻²])\n *   - `kretschmann-scalar` — K            (scalar,              [L⁻⁴])\n *\n * @public\n */\nexport type CurvatureKind =\n  | 'riemann-tensor'\n  | 'ricci-tensor'\n  | 'einstein-tensor'\n  | 'bianchi-residual'\n  | 'weyl-tensor'\n  | 'kretschmann-scalar';\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureKindSpec — per-kind shape + dim descriptor\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Per-kind specification record used by the registry.\n *\n * `freeIndicesShape` is a human-readable summary of the free-index structure:\n *   - `'rank-4-1upper-3lower'` — 1 upper + 3 lower (Riemann, Weyl)\n *   - `'rank-2-lower-lower'`   — 2 lower (Ricci, Einstein)\n *   - `'rank-3-lower'`         — the Bianchi residual B_{λμνρσ}, which has FIVE lower\n *                                  indices. The \"3\" is not the rank: it counts the three\n *                                  cyclic terms over (λ, μ, ν) in\n *                                  B_{λμνρσ} = ∇_λ R_{μνρσ} + ∇_μ R_{νλρσ} + ∇_ν R_{λμρσ}.\n *                                  The name stays because the registry is public.\n *   - `'scalar'`               — 0 free indices (Kretschmann)\n *\n * `componentDim` is the SI dimension of each component in the F8/I3 convention\n * (metric is dimensionless, coordinates carry [L]).\n *\n * @internal\n */\ninterface CurvatureKindSpec {\n  readonly freeIndicesShape: 'rank-4-1upper-3lower' | 'rank-2-lower-lower' | 'rank-3-lower' | 'scalar';\n  readonly componentDim: Dimension;\n}\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CURVATURE_KIND_REGISTRY\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Registry mapping each `CurvatureKind` to its shape + dimensional spec.\n *\n * Used by:\n *   - Tests: to assert all 6 kinds are registered and that Riemann + Weyl\n *     share the rank-4 shape (refactor-only invariant).\n *   - Future lowering consolidation: `CURVATURE_KIND_REGISTRY[node.kind]`\n *     can supply common validation data without per-kind duplication.\n *\n * @public\n */\nexport const CURVATURE_KIND_REGISTRY: Record<CurvatureKind, CurvatureKindSpec> = {\n  'riemann-tensor': {\n    freeIndicesShape: 'rank-4-1upper-3lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'ricci-tensor': {\n    freeIndicesShape: 'rank-2-lower-lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'einstein-tensor': {\n    freeIndicesShape: 'rank-2-lower-lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'bianchi-residual': {\n    // Five lower indices; '3' counts the cyclic terms, not the rank (see CurvatureKindSpec).\n    freeIndicesShape: 'rank-3-lower',\n    componentDim: { L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'weyl-tensor': {\n    freeIndicesShape: 'rank-4-1upper-3lower',\n    componentDim: { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n  'kretschmann-scalar': {\n    freeIndicesShape: 'scalar',\n    componentDim: { L: -4, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },\n  },\n};\n\n// ─────────────────────────────────────────────────────────────────────────────\n// CurvatureCompositeNode<K, S> — shared factory type\n// ─────────────────────────────────────────────────────────────────────────────\n\n/**\n * Generic factory type for all curvature-composite AST nodes.\n *\n * **P-1 fix (v0.6.0 plan-vet):** Must be an intersection type, not an\n * interface with an unused type parameter. The intersection `{ kind: K } & S`\n * ensures TypeScript actually composes the kind-specific slot type `S` into\n * the resulting type, giving real discriminant + kind-specific type safety.\n *\n * Usage (type alias):\n * ```typescript\n * type RicciTensorNode = CurvatureCompositeNode<'ricci-tensor', {\n *   readonly riemann: RiemannTensorNode;\n * }>;\n * ```\n *\n * The intersection produces:\n * ```typescript\n * { readonly kind: 'ricci-tensor' } & { readonly riemann: RiemannTensorNode }\n * // ≡ { readonly kind: 'ricci-tensor'; readonly riemann: RiemannTensorNode }\n * ```\n *\n * @public\n */\nexport type CurvatureCompositeNode<K extends CurvatureKind, S extends object> = {\n  readonly kind: K;\n} & S;\n"]}

package/dist/dimensional/dimension-inference.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dimension-inference.d.ts","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAK/C;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAa1F;AAQD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,SAAS,GACnB,SAAS,GAAG,IAAI,CAyBlB"}
+{"version":3,"file":"dimension-inference.d.ts","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,QAAQ,CAa1F;AAQD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,SAAS,GACnB,SAAS,GAAG,IAAI,CAyBlB"}

package/dist/dimensional/dimension-inference.js

@@ -18,9 +18,8 @@
  * @module dimensional/dimension-inference
  */
 import { DIMENSIONLESS, LENGTH } from './types.js';
-import { divide, power, EXPONENT_TOL } from './algebra.js';
+import { BASES, divide, power, EXPONENT_TOL } from './algebra.js';
 import { validate } from './validator.js';
-const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
 /**
  * Rebuild `node`, replacing the dimension of every `symbol` named `name` with
  * `dim`. Walks the scalar arms (`symbol`/`op`/`transcendental`/`abs`); other

package/dist/dimensional/dimension-inference.js.map

@@ -1 +1 @@
-{"version":3,"file":"dimension-inference.js","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C,MAAM,KAAK,GAAmC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAEtF;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,IAAY,EAAE,GAAc;IAC9E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,KAAK,IAAI;YACP,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACpF,KAAK,gBAAgB;YACnB,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,IAAc;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAc,EACd,OAAe,EACf,SAAoB;IAEpB,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5C,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,4CAA4C;IACtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,oBAAoB;IAC7E,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,YAAY;YAAE,OAAO,IAAI,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["/**\n * Single-unknown dimensional inference.\n *\n * Given a parsed scalar `ExprNode` (e.g. the RHS of a user equation) in which\n * exactly one symbol's dimension is unknown, and the known dimension the whole\n * expression must equal (the target), recover the unknown's dimension from\n * dimensional homogeneity — or abstain (`null`) when it is not uniquely pinned\n * (the unknown is sum-constrained, absent, or appears non-cleanly).\n *\n * Method (no symbolic differentiation): probe the unknown with two dimensions\n * and read off its net power. With the unknown set to `DIMENSIONLESS` the\n * expression has dimension `D0`; set to `LENGTH` it has `D1`. The unknown enters\n * the dimension as a single power `p`, so `D1 / D0 = LENGTH^p`; if that quotient\n * is a clean power of the probe (only the `L` component nonzero), then from\n * `target = D0 · unknown^p` we get `unknown = (target / D0)^(1/p)`. Pure; reuses\n * the dimensional `algebra`.\n *\n * @module dimensional/dimension-inference\n */\n\nimport type { Dimension } from './types.js';\nimport { DIMENSIONLESS, LENGTH } from './types.js';\nimport { divide, power, EXPONENT_TOL } from './algebra.js';\nimport type { ExprNode } from './validator.js';\nimport { validate } from './validator.js';\n\nconst BASES: ReadonlyArray<keyof Dimension> = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];\n\n/**\n * Rebuild `node`, replacing the dimension of every `symbol` named `name` with\n * `dim`. Walks the scalar arms (`symbol`/`op`/`transcendental`/`abs`); other\n * arms are returned unchanged (they do not occur in parsed scalar expressions).\n *\n * @public\n */\nexport function substituteSymbolDim(node: ExprNode, name: string, dim: Dimension): ExprNode {\n  switch (node.kind) {\n    case 'symbol':\n      return node.name === name ? { ...node, dim } : node;\n    case 'op':\n      return { ...node, args: node.args.map((a) => substituteSymbolDim(a, name, dim)) };\n    case 'transcendental':\n      return { ...node, arg: substituteSymbolDim(node.arg, name, dim) };\n    case 'abs':\n      return { ...node, arg: substituteSymbolDim(node.arg, name, dim) };\n    default:\n      return node;\n  }\n}\n\n/** Homogeneous dimension of `node`, or `null` if it is not well-formed. */\nfunction dimensionOrNull(node: ExprNode): Dimension | null {\n  const r = validate(node);\n  return r.ok && r.inferredDimension !== null ? r.inferredDimension : null;\n}\n\n/**\n * Infer the dimension of `unknown` in `expr` such that `expr` has dimension\n * `targetDim`, or `null` when it is not uniquely determined.\n *\n * @public\n */\nexport function inferUnknownDimension(\n  expr: ExprNode,\n  unknown: string,\n  targetDim: Dimension,\n): Dimension | null {\n  const d0 = dimensionOrNull(substituteSymbolDim(expr, unknown, DIMENSIONLESS));\n  const d1 = dimensionOrNull(substituteSymbolDim(expr, unknown, LENGTH));\n  if (d0 === null || d1 === null) return null;\n\n  // D1 / D0 must be a clean power of the probe (LENGTH): only the L exponent.\n  const quotient = divide(d1, d0);\n  const p = quotient.L;\n  if (p === 0) return null; // the unknown does not affect the dimension\n  for (const base of BASES) {\n    if (base !== 'L' && quotient[base] !== 0) return null; // not a clean power\n  }\n  const result = power(divide(targetDim, d0), 1 / p);\n  // Snap each exponent to its nearest integer within tolerance, then abstain if\n  // any is GENUINELY fractional (e.g. x^2 = [length] ⟹ [length]^½ is not a real\n  // physical dimension). The tolerance absorbs FP round-off that arrives in the\n  // target from a v0.20 fractional-power computation, so a real integer answer\n  // (L = 2 + ε) is not spuriously rejected — consistent with `equals` (bb15432).\n  const snapped = { ...result };\n  for (const base of BASES) {\n    const rounded = Math.round(result[base]);\n    if (Math.abs(result[base] - rounded) > EXPONENT_TOL) return null;\n    snapped[base] = rounded;\n  }\n  return snapped;\n}\n"]}
+{"version":3,"file":"dimension-inference.js","sourceRoot":"","sources":["../../src/dimensional/dimension-inference.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAElE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,IAAY,EAAE,GAAc;IAC9E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,KAAK,IAAI;YACP,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACpF,KAAK,gBAAgB;YACnB,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,mBAAmB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,IAAc;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAc,EACd,OAAe,EACf,SAAoB;IAEpB,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,eAAe,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACvE,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5C,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,4CAA4C;IACtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,oBAAoB;IAC7E,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,YAAY;YAAE,OAAO,IAAI,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;IAC1B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["/**\n * Single-unknown dimensional inference.\n *\n * Given a parsed scalar `ExprNode` (e.g. the RHS of a user equation) in which\n * exactly one symbol's dimension is unknown, and the known dimension the whole\n * expression must equal (the target), recover the unknown's dimension from\n * dimensional homogeneity — or abstain (`null`) when it is not uniquely pinned\n * (the unknown is sum-constrained, absent, or appears non-cleanly).\n *\n * Method (no symbolic differentiation): probe the unknown with two dimensions\n * and read off its net power. With the unknown set to `DIMENSIONLESS` the\n * expression has dimension `D0`; set to `LENGTH` it has `D1`. The unknown enters\n * the dimension as a single power `p`, so `D1 / D0 = LENGTH^p`; if that quotient\n * is a clean power of the probe (only the `L` component nonzero), then from\n * `target = D0 · unknown^p` we get `unknown = (target / D0)^(1/p)`. Pure; reuses\n * the dimensional `algebra`.\n *\n * @module dimensional/dimension-inference\n */\n\nimport type { Dimension } from './types.js';\nimport { DIMENSIONLESS, LENGTH } from './types.js';\nimport { BASES, divide, power, EXPONENT_TOL } from './algebra.js';\nimport type { ExprNode } from './validator.js';\nimport { validate } from './validator.js';\n\n/**\n * Rebuild `node`, replacing the dimension of every `symbol` named `name` with\n * `dim`. Walks the scalar arms (`symbol`/`op`/`transcendental`/`abs`); other\n * arms are returned unchanged (they do not occur in parsed scalar expressions).\n *\n * @public\n */\nexport function substituteSymbolDim(node: ExprNode, name: string, dim: Dimension): ExprNode {\n  switch (node.kind) {\n    case 'symbol':\n      return node.name === name ? { ...node, dim } : node;\n    case 'op':\n      return { ...node, args: node.args.map((a) => substituteSymbolDim(a, name, dim)) };\n    case 'transcendental':\n      return { ...node, arg: substituteSymbolDim(node.arg, name, dim) };\n    case 'abs':\n      return { ...node, arg: substituteSymbolDim(node.arg, name, dim) };\n    default:\n      return node;\n  }\n}\n\n/** Homogeneous dimension of `node`, or `null` if it is not well-formed. */\nfunction dimensionOrNull(node: ExprNode): Dimension | null {\n  const r = validate(node);\n  return r.ok && r.inferredDimension !== null ? r.inferredDimension : null;\n}\n\n/**\n * Infer the dimension of `unknown` in `expr` such that `expr` has dimension\n * `targetDim`, or `null` when it is not uniquely determined.\n *\n * @public\n */\nexport function inferUnknownDimension(\n  expr: ExprNode,\n  unknown: string,\n  targetDim: Dimension,\n): Dimension | null {\n  const d0 = dimensionOrNull(substituteSymbolDim(expr, unknown, DIMENSIONLESS));\n  const d1 = dimensionOrNull(substituteSymbolDim(expr, unknown, LENGTH));\n  if (d0 === null || d1 === null) return null;\n\n  // D1 / D0 must be a clean power of the probe (LENGTH): only the L exponent.\n  const quotient = divide(d1, d0);\n  const p = quotient.L;\n  if (p === 0) return null; // the unknown does not affect the dimension\n  for (const base of BASES) {\n    if (base !== 'L' && quotient[base] !== 0) return null; // not a clean power\n  }\n  const result = power(divide(targetDim, d0), 1 / p);\n  // Snap each exponent to its nearest integer within tolerance, then abstain if\n  // any is GENUINELY fractional (e.g. x^2 = [length] ⟹ [length]^½ is not a real\n  // physical dimension). The tolerance absorbs FP round-off that arrives in the\n  // target from a v0.20 fractional-power computation, so a real integer answer\n  // (L = 2 + ε) is not spuriously rejected — consistent with `equals` (bb15432).\n  const snapped = { ...result };\n  for (const base of BASES) {\n    const rounded = Math.round(result[base]);\n    if (Math.abs(result[base] - rounded) > EXPONENT_TOL) return null;\n    snapped[base] = rounded;\n  }\n  return snapped;\n}\n"]}

package/dist/dimensional/errors.d.ts

@@ -153,7 +153,7 @@ export declare class PartialDerivativeIndexVarianceError extends UPTError {
  * a dimensional → numerical import cycle; re-exported from numerical/index.ts
  * for the public API surface per v0.4.0-Implementation-Plan Task 13.
  *
- * Uses `Object.setPrototypeOf` for correct `instanceof` after ES5 transpilation.
+ * A plain `class extends Error` under the ES2022 target: `instanceof` holds without a prototype reset.
  *
  * @public
  */

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

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,4CAA4C;AAC5C,qBAAa,QAAS,SAAQ,KAAK;IACjC,YAAY,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,EAKlE;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,QAAQ,EAAE,SAAS,CAAC;IACpC,SAAgB,MAAM,EAAE,SAAS,CAAC;IAClC,YAAY,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAMlE;CACF;AAED;;;;;;;;;GASG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAU5C;CACF;AAED;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC;;;;OAIG;IACH,SAAgB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChD,YACE,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,EAgBhC;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC;IAC5C,YAAY,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,EAYrD;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,EAAE,MAAM,EAQrB;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAED;;;;;;GAMG;AACH,qBAAa,gCAAiC,SAAQ,QAAQ;IAC5D,YAAY,OAAO,EAAE,MAAM,EAI1B;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EASjD;CACF;AAED;;;;;GAKG;AACH,qBAAa,oBAAqB,SAAQ,QAAQ;IAChD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,YAAY,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAQ7C;CACF;AAED;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,QAAQ;IACrD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAQ7B;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,YAAY,EAAE,OAAO,GAAG,OAAO,CAAC;IAChD,YAAY,YAAY,EAAE,OAAO,GAAG,OAAO,EAS1C;CACF;AAED;;;;;GAKG;AACH,qBAAa,mCAAoC,SAAQ,QAAQ;IAC/D,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,KAAK,EAAE,MAAM,EASxB;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;IACnD,YAAY,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAQlD;CACF"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/dimensional/errors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,4CAA4C;AAC5C,qBAAa,QAAS,SAAQ,KAAK;IACjC,YAAY,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,EAIlE;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,QAAQ,EAAE,SAAS,CAAC;IACpC,SAAgB,MAAM,EAAE,SAAS,CAAC;IAClC,YAAY,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAKlE;CACF;AAED;;;;;;;;;GASG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAS5C;CACF;AAED;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,QAAQ;IACpD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC;;;;OAIG;IACH,SAAgB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChD,YACE,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,EAehC;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC;IAC5C,YAAY,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,OAAO,EAWrD;CACF;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,SAAgB,EAAE,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,EAAE,MAAM,EAOrB;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;;GAMG;AACH,qBAAa,gCAAiC,SAAQ,QAAQ;IAC5D,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;;GAKG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAQjD;CACF;AAED;;;;;GAKG;AACH,qBAAa,oBAAqB,SAAQ,QAAQ;IAChD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,YAAY,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAO7C;CACF;AAED;;;GAGG;AACH,qBAAa,yBAA0B,SAAQ,QAAQ;IACrD,SAAgB,UAAU,EAAE,MAAM,CAAC;IACnC,YAAY,UAAU,EAAE,MAAM,EAO7B;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,QAAQ;IAClD,SAAgB,YAAY,EAAE,OAAO,GAAG,OAAO,CAAC;IAChD,YAAY,YAAY,EAAE,OAAO,GAAG,OAAO,EAQ1C;CACF;AAED;;;;;GAKG;AACH,qBAAa,mCAAoC,SAAQ,QAAQ;IAC/D,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,YAAY,KAAK,EAAE,MAAM,EAQxB;CACF;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;IACnD,YAAY,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAOlD;CACF"}