@justinelliottcobb/amari-wasm 0.19.1 → 0.21.0

package/README.md

@@ -1,4 +1,4 @@
-# @justinelliottcobb/amari-wasm v0.19.1
+# @justinelliottcobb/amari-wasm v0.21.0
 
 **Unified Mathematical Computing Library with High-Precision WebAssembly Support**
 
@@ -13,8 +13,8 @@ Amari is a comprehensive mathematical computing library that brings advanced alg
 | Module | Crate | Since | Description |
 |--------|-------|-------|-------------|
 | [Geometric Algebra](docs/geometric-algebra.md) | amari-core | v0.1 | Multivectors, rotors, geometric products for 3D rotations and spatial transformations |
-| [Tropical Algebra](docs/tropical-algebra.md) | amari-tropical | v0.9.3 | Max-plus semiring operations for optimization and neural network applications |
-| [Automatic Differentiation](docs/automatic-differentiation.md) | amari-dual | v0.9.3 | Forward-mode AD with dual numbers for exact derivatives |
+| [Tropical Algebra](docs/tropical-algebra.md) | amari-tropical | v0.9.3 | Max-plus semiring operations plus `0.21.0` ordinal-weighted optimization carriers below ε₀ |
+| [Automatic Differentiation](docs/automatic-differentiation.md) | amari-dual | v0.9.3 | Forward-mode AD with `0.21.0` branch policies, multi-dual seeding, and fixed-size gradient wrappers |
 | [Cellular Automata](docs/cellular-automata.md) | amari-automata | v0.9.4 | Geometric cellular automata with multivector states |
 | [Holographic Memory](docs/holographic-memory.md) | amari-fusion | v0.12.3 | Vector Symbolic Architecture for associative memory with binding and bundling |
 | [Measure Theory](docs/measure-theory.md) | amari-measure | v0.10.0 | Lebesgue integration, probability measures, and measure-theoretic foundations |
@@ -30,6 +30,16 @@ Amari is a comprehensive mathematical computing library that brings advanced alg
 
 Also includes bindings for: amari-network (geometric network analysis), amari-optimization (gradient descent, NSGA-II), amari-info-geom (Fisher metrics, statistical manifolds), amari-calculus (differential geometry, manifolds).
 
+### v0.21.0 Tropical / Dual WASM Surface
+
+The `0.21.0` release exposes the new optimization-oriented Rust APIs to JavaScript/TypeScript:
+
+- `TropicalBatch.foldOplus(...)` and `TropicalBatch.foldOtimes(...)` for semiring folds.
+- `WasmOrdinalArena`, `WasmOrdinal`, and `WasmOrdinalWeight` for bounded ordinals below ε₀, ordinal formatting/inspection, and ordinal-weight `oplus` / `otimes` helpers.
+- `WasmBranchPolicy` plus `maxByPolicy(...)` / `minByPolicy(...)` on dual and multi-dual numbers for explicit tie behavior.
+- `WasmMultiDualNumber.variables(...)` for basis-seeded gradient setup.
+- `WasmStaticMultiDual2`, `WasmStaticMultiDual3`, and `WasmStaticMultiDual4` for small fixed-size forward-mode AD loops in browser-facing workloads.
+
 ### High-Precision Arithmetic
 
 - **Pure Rust Backend**: dashu-powered arithmetic with no native dependencies

package/amari_wasm.d.ts

@@ -178,6 +178,23 @@ export function ripsFromDistances(num_points: number, max_dim: number, distances
  * - `evaluator`: Function that takes (x, y) and returns f(x, y)
  */
 export function findCriticalPoints2D(resolution: number, x_min: number, x_max: number, y_min: number, y_max: number, tolerance: number, values: Float64Array): WasmCriticalPoint[];
+/**
+ * Tie-handling policy for branch-sensitive dual-number min/max operations.
+ */
+export enum WasmBranchPolicy {
+  /**
+   * Preserve the left operand derivative on ties.
+   */
+  Left = 0,
+  /**
+   * Preserve the right operand derivative on ties.
+   */
+  Right = 1,
+  /**
+   * Average derivatives on ties.
+   */
+  Average = 2,
+}
 /**
  * Integration methods available in WASM
  */
@@ -992,6 +1009,14 @@ export class SchubertBatch {
 export class TropicalBatch {
   private constructor();
   free(): void;
+  /**
+   * Fold values with tropical addition (`max`).
+   */
+  static foldOplus(values: Float64Array): number;
+  /**
+   * Fold values with tropical multiplication (`+`).
+   */
+  static foldOtimes(values: Float64Array): number;
   /**
    * Convert array of log probabilities to tropical numbers and find maximum
    */
@@ -1575,6 +1600,14 @@ export class WasmCriticalPoint {
  */
 export class WasmDualNumber {
   free(): void;
+  /**
+   * Maximum with explicit derivative tie handling.
+   */
+  maxByPolicy(other: WasmDualNumber, policy: WasmBranchPolicy): WasmDualNumber;
+  /**
+   * Minimum with explicit derivative tie handling.
+   */
+  minByPolicy(other: WasmDualNumber, policy: WasmBranchPolicy): WasmDualNumber;
   /**
    * Natural logarithm
    */
@@ -3021,6 +3054,14 @@ export class WasmMultiDualNumber {
    * Get number of variables
    */
   getNumVars(): number;
+  /**
+   * Maximum with explicit derivative tie handling.
+   */
+  maxByPolicy(other: WasmMultiDualNumber, policy: WasmBranchPolicy): WasmMultiDualNumber;
+  /**
+   * Minimum with explicit derivative tie handling.
+   */
+  minByPolicy(other: WasmMultiDualNumber, policy: WasmBranchPolicy): WasmMultiDualNumber;
   /**
    * Addition
    */
@@ -3049,6 +3090,10 @@ export class WasmMultiDualNumber {
    * Create a variable with derivative 1 at the specified index
    */
   static variable(value: number, num_vars: number, var_index: number): WasmMultiDualNumber;
+  /**
+   * Create one basis-seeded variable per input coordinate.
+   */
+  static variables(values: Float64Array): Array<any>;
 }
 /**
  * Simple multi-objective optimizer for WASM
@@ -3548,6 +3593,154 @@ export class WasmOptimizationUtils {
    */
   static dominates(objectives1: Float64Array, objectives2: Float64Array): boolean;
 }
+/**
+ * Arena-bound handle for an ordinal below ε₀.
+ */
+export class WasmOrdinal {
+  private constructor();
+  free(): void;
+  /**
+   * Raw arena-local ordinal index.
+   */
+  getIndex(): number;
+}
+/**
+ * Arena-backed store for canonical ordinals below ε₀.
+ */
+export class WasmOrdinalArena {
+  free(): void;
+  /**
+   * Number of interned ordinal nodes.
+   */
+  nodeCount(): number;
+  /**
+   * Number of CNF terms.
+   */
+  termCount(ordinal: WasmOrdinal): number;
+  /**
+   * Select the best of two weights using semiring-style `max`.
+   */
+  bestWeight2(left: WasmOrdinalWeight, right: WasmOrdinalWeight): WasmOrdinalWeight;
+  /**
+   * Select the best of three weights using semiring-style `max`.
+   */
+  bestWeight3(first: WasmOrdinalWeight, second: WasmOrdinalWeight, third: WasmOrdinalWeight): WasmOrdinalWeight;
+  /**
+   * Finite value when the ordinal is finite.
+   */
+  finiteValue(ordinal: WasmOrdinal): number | undefined;
+  /**
+   * Return true if this is a successor ordinal.
+   */
+  isSuccessor(ordinal: WasmOrdinal): boolean;
+  /**
+   * Semiring-style additive combination (`max`) for ordinal weights.
+   */
+  oplusWeight(left: WasmOrdinalWeight, right: WasmOrdinalWeight): WasmOrdinalWeight;
+  /**
+   * Format an ordinal weight.
+   */
+  formatWeight(weight: WasmOrdinalWeight): string;
+  /**
+   * Semiring-style multiplicative composition (ordinal addition) for weights.
+   */
+  otimesWeight(left: WasmOrdinalWeight, right: WasmOrdinalWeight): WasmOrdinalWeight;
+  /**
+   * Compare two weights: -1 for less, 0 for equal, 1 for greater.
+   */
+  compareWeight(left: WasmOrdinalWeight, right: WasmOrdinalWeight): number;
+  /**
+   * Format an ordinal in Cantor normal form.
+   */
+  formatOrdinal(ordinal: WasmOrdinal): string;
+  /**
+   * Compose two weights using ordinal addition with bottom annihilation.
+   */
+  composeWeight2(left: WasmOrdinalWeight, right: WasmOrdinalWeight): WasmOrdinalWeight;
+  /**
+   * Compose three weights using ordinal addition with bottom annihilation.
+   */
+  composeWeight3(first: WasmOrdinalWeight, second: WasmOrdinalWeight, third: WasmOrdinalWeight): WasmOrdinalWeight;
+  /**
+   * Build a JavaScript object with ordinal inspection metadata.
+   */
+  inspectOrdinal(ordinal: WasmOrdinal): any;
+  /**
+   * Return true if the ordinal is zero.
+   */
+  isZeroOrdinal(ordinal: WasmOrdinal): boolean;
+  /**
+   * Construct a weight from an ordinal.
+   */
+  weightFromOrdinal(ordinal: WasmOrdinal): WasmOrdinalWeight;
+  /**
+   * Ordinal addition.
+   */
+  add(left: WasmOrdinal, right: WasmOrdinal): WasmOrdinal;
+  /**
+   * Create an ordinal arena containing zero.
+   */
+  constructor();
+  /**
+   * Finite ordinal one.
+   */
+  one(): WasmOrdinal;
+  /**
+   * Structural kind: zero, finite, successor, or limit.
+   */
+  kind(ordinal: WasmOrdinal): string;
+  /**
+   * Canonical zero ordinal.
+   */
+  zero(): WasmOrdinal;
+  /**
+   * The ordinal ω.
+   */
+  omega(): WasmOrdinal;
+  /**
+   * Finite natural ordinal `n`.
+   */
+  finite(n: number): WasmOrdinal;
+  /**
+   * Compare two ordinals: -1 for less, 0 for equal, 1 for greater.
+   */
+  compare(left: WasmOrdinal, right: WasmOrdinal): number;
+  /**
+   * Return true if this is a nonzero limit ordinal.
+   */
+  isLimit(ordinal: WasmOrdinal): boolean;
+  /**
+   * Leading-exponent valuation of a weight, if any.
+   */
+  valuation(weight: WasmOrdinalWeight): number | undefined;
+}
+/**
+ * Bottom-extended ordinal optimization weight.
+ */
+export class WasmOrdinalWeight {
+  private constructor();
+  free(): void;
+  /**
+   * Arena-local ordinal index when this weight wraps an ordinal.
+   */
+  ordinalIndex(): number | undefined;
+  /**
+   * Construct the semiring one element, i.e. ordinal zero.
+   */
+  static one(): WasmOrdinalWeight;
+  /**
+   * Alias for the semiring zero element.
+   */
+  static zero(): WasmOrdinalWeight;
+  /**
+   * Construct the bottom element.
+   */
+  static bottom(): WasmOrdinalWeight;
+  /**
+   * Whether this weight is bottom.
+   */
+  isBottom(): boolean;
+}
 /**
  * Parametric probability density families
  */
@@ -4414,6 +4607,195 @@ export class WasmStabilityCondition {
    */
   isStable(capability: WasmCapability): boolean;
 }
+export class WasmStaticMultiDual2 {
+  free(): void;
+  /**
+   * Get the fixed-size gradient as a JavaScript array-compatible vector.
+   */
+  getGradient(): Float64Array;
+  /**
+   * Maximum with explicit derivative tie handling.
+   */
+  maxByPolicy(other: WasmStaticMultiDual2, policy: WasmBranchPolicy): WasmStaticMultiDual2;
+  /**
+   * Minimum with explicit derivative tie handling.
+   */
+  minByPolicy(other: WasmStaticMultiDual2, policy: WasmBranchPolicy): WasmStaticMultiDual2;
+  /**
+   * Convert to the heap-backed multi-dual wrapper.
+   */
+  toMultiDual(): WasmMultiDualNumber;
+  /**
+   * Addition.
+   */
+  add(other: WasmStaticMultiDual2): WasmStaticMultiDual2;
+  /**
+   * Division.
+   */
+  div(other: WasmStaticMultiDual2): WasmStaticMultiDual2;
+  /**
+   * Multiplication.
+   */
+  mul(other: WasmStaticMultiDual2): WasmStaticMultiDual2;
+  /**
+   * Negation.
+   */
+  neg(): WasmStaticMultiDual2;
+  /**
+   * Create a fixed-size multi-dual number from a value and gradient.
+   */
+  constructor(value: number, gradient: Float64Array);
+  /**
+   * Subtraction.
+   */
+  sub(other: WasmStaticMultiDual2): WasmStaticMultiDual2;
+  /**
+   * Number of derivative variables.
+   */
+  nVars(): number;
+  /**
+   * Create a constant with zero gradient.
+   */
+  static constant(value: number): WasmStaticMultiDual2;
+  /**
+   * Create a basis-seeded variable.
+   */
+  static variable(value: number, var_index: number): WasmStaticMultiDual2;
+  /**
+   * Get the function value.
+   */
+  getValue(): number;
+  /**
+   * Create one fixed-size variable per coordinate.
+   */
+  static variables(values: Float64Array): Array<any>;
+}
+export class WasmStaticMultiDual3 {
+  free(): void;
+  /**
+   * Get the fixed-size gradient as a JavaScript array-compatible vector.
+   */
+  getGradient(): Float64Array;
+  /**
+   * Maximum with explicit derivative tie handling.
+   */
+  maxByPolicy(other: WasmStaticMultiDual3, policy: WasmBranchPolicy): WasmStaticMultiDual3;
+  /**
+   * Minimum with explicit derivative tie handling.
+   */
+  minByPolicy(other: WasmStaticMultiDual3, policy: WasmBranchPolicy): WasmStaticMultiDual3;
+  /**
+   * Convert to the heap-backed multi-dual wrapper.
+   */
+  toMultiDual(): WasmMultiDualNumber;
+  /**
+   * Addition.
+   */
+  add(other: WasmStaticMultiDual3): WasmStaticMultiDual3;
+  /**
+   * Division.
+   */
+  div(other: WasmStaticMultiDual3): WasmStaticMultiDual3;
+  /**
+   * Multiplication.
+   */
+  mul(other: WasmStaticMultiDual3): WasmStaticMultiDual3;
+  /**
+   * Negation.
+   */
+  neg(): WasmStaticMultiDual3;
+  /**
+   * Create a fixed-size multi-dual number from a value and gradient.
+   */
+  constructor(value: number, gradient: Float64Array);
+  /**
+   * Subtraction.
+   */
+  sub(other: WasmStaticMultiDual3): WasmStaticMultiDual3;
+  /**
+   * Number of derivative variables.
+   */
+  nVars(): number;
+  /**
+   * Create a constant with zero gradient.
+   */
+  static constant(value: number): WasmStaticMultiDual3;
+  /**
+   * Create a basis-seeded variable.
+   */
+  static variable(value: number, var_index: number): WasmStaticMultiDual3;
+  /**
+   * Get the function value.
+   */
+  getValue(): number;
+  /**
+   * Create one fixed-size variable per coordinate.
+   */
+  static variables(values: Float64Array): Array<any>;
+}
+export class WasmStaticMultiDual4 {
+  free(): void;
+  /**
+   * Get the fixed-size gradient as a JavaScript array-compatible vector.
+   */
+  getGradient(): Float64Array;
+  /**
+   * Maximum with explicit derivative tie handling.
+   */
+  maxByPolicy(other: WasmStaticMultiDual4, policy: WasmBranchPolicy): WasmStaticMultiDual4;
+  /**
+   * Minimum with explicit derivative tie handling.
+   */
+  minByPolicy(other: WasmStaticMultiDual4, policy: WasmBranchPolicy): WasmStaticMultiDual4;
+  /**
+   * Convert to the heap-backed multi-dual wrapper.
+   */
+  toMultiDual(): WasmMultiDualNumber;
+  /**
+   * Addition.
+   */
+  add(other: WasmStaticMultiDual4): WasmStaticMultiDual4;
+  /**
+   * Division.
+   */
+  div(other: WasmStaticMultiDual4): WasmStaticMultiDual4;
+  /**
+   * Multiplication.
+   */
+  mul(other: WasmStaticMultiDual4): WasmStaticMultiDual4;
+  /**
+   * Negation.
+   */
+  neg(): WasmStaticMultiDual4;
+  /**
+   * Create a fixed-size multi-dual number from a value and gradient.
+   */
+  constructor(value: number, gradient: Float64Array);
+  /**
+   * Subtraction.
+   */
+  sub(other: WasmStaticMultiDual4): WasmStaticMultiDual4;
+  /**
+   * Number of derivative variables.
+   */
+  nVars(): number;
+  /**
+   * Create a constant with zero gradient.
+   */
+  static constant(value: number): WasmStaticMultiDual4;
+  /**
+   * Create a basis-seeded variable.
+   */
+  static variable(value: number, var_index: number): WasmStaticMultiDual4;
+  /**
+   * Get the function value.
+   */
+  getValue(): number;
+  /**
+   * Create one fixed-size variable per coordinate.
+   */
+  static variables(values: Float64Array): Array<any>;
+}
 /**
  * WASM wrapper for torus weights in equivariant localization
  */
@@ -5124,6 +5506,7 @@ export interface InitOutput {
   readonly __wbg_wasmopticalcodebook_free: (a: number, b: number) => void;
   readonly __wbg_wasmopticalrotorfield_free: (a: number, b: number) => void;
   readonly __wbg_wasmoptimizationresult_free: (a: number, b: number) => void;
+  readonly __wbg_wasmordinalarena_free: (a: number, b: number) => void;
   readonly __wbg_wasmpersistenthomology_free: (a: number, b: number) => void;
   readonly __wbg_wasmpropagationanalysis_free: (a: number, b: number) => void;
   readonly __wbg_wasmrelativisticparticle_free: (a: number, b: number) => void;
@@ -5135,8 +5518,8 @@ export interface InitOutput {
   readonly __wbg_wasmsimplicialcomplex_free: (a: number, b: number) => void;
   readonly __wbg_wasmsmtproofobligation_free: (a: number, b: number) => void;
   readonly __wbg_wasmspectraldecomposition_free: (a: number, b: number) => void;
+  readonly __wbg_wasmstaticmultidual4_free: (a: number, b: number) => void;
   readonly __wbg_wasmtorusweights_free: (a: number, b: number) => void;
-  readonly __wbg_wasmtrajectorypoint_free: (a: number, b: number) => void;
   readonly __wbg_wasmtropicaldualclifford_free: (a: number, b: number) => void;
   readonly __wbg_wasmtropicalnetwork_free: (a: number, b: number) => void;
   readonly __wbg_wasmtropicalviterbi_free: (a: number, b: number) => void;
@@ -5271,6 +5654,7 @@ export interface InitOutput {
   readonly schubertbatch_multiIntersectBatch: (a: number, b: number, c: number, d: number) => [number, number, number, number];
   readonly tropicalbatch_batchTropicalAdd: (a: number, b: number) => number;
   readonly tropicalbatch_batchTropicalMul: (a: number, b: number) => number;
+  readonly tropicalbatch_foldOtimes: (a: number, b: number) => number;
   readonly tropicalbatch_maxLogProb: (a: number, b: number) => number;
   readonly tropicalbatch_viterbiStep: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => [number, number, number, number];
   readonly tropicalmlops_convexCombination: (a: number, b: number, c: number, d: number) => [number, number, number];
@@ -5387,7 +5771,9 @@ export interface InitOutput {
   readonly wasmdualnumber_getDual: (a: number) => number;
   readonly wasmdualnumber_ln: (a: number) => [number, number, number];
   readonly wasmdualnumber_max: (a: number, b: number) => number;
+  readonly wasmdualnumber_maxByPolicy: (a: number, b: number, c: number) => number;
   readonly wasmdualnumber_min: (a: number, b: number) => number;
+  readonly wasmdualnumber_minByPolicy: (a: number, b: number, c: number) => number;
   readonly wasmdualnumber_mul: (a: number, b: number) => number;
   readonly wasmdualnumber_neg: (a: number) => number;
   readonly wasmdualnumber_new: (a: number, b: number) => number;
@@ -5622,10 +6008,13 @@ export interface InitOutput {
   readonly wasmmultidualnumber_getGradient: (a: number) => [number, number];
   readonly wasmmultidualnumber_getNumVars: (a: number) => number;
   readonly wasmmultidualnumber_getPartial: (a: number, b: number) => [number, number, number];
+  readonly wasmmultidualnumber_maxByPolicy: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmmultidualnumber_minByPolicy: (a: number, b: number, c: number) => [number, number, number];
   readonly wasmmultidualnumber_mul: (a: number, b: number) => [number, number, number];
   readonly wasmmultidualnumber_new: (a: number, b: number, c: number) => number;
   readonly wasmmultidualnumber_sqrt: (a: number) => [number, number, number];
   readonly wasmmultidualnumber_variable: (a: number, b: number, c: number) => number;
+  readonly wasmmultidualnumber_variables: (a: number, b: number) => any;
   readonly wasmmultiobjectiveoptimizer_optimizeBiObjective: (a: number, b: number, c: number, d: number) => [number, number, number];
   readonly wasmmultiobjectiveresult_converged: (a: number) => number;
   readonly wasmmultiobjectiveresult_pareto_front: (a: number) => [number, number];
@@ -5717,6 +6106,36 @@ export interface InitOutput {
   readonly wasmoptimizationresult_solution: (a: number) => [number, number];
   readonly wasmoptimizationutils_dominates: (a: number, b: number, c: number, d: number) => number;
   readonly wasmoptimizationutils_numericalGradient: (a: number, b: number, c: number, d: number, e: number) => [number, number, number, number];
+  readonly wasmordinalarena_add: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmordinalarena_bestWeight2: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmordinalarena_bestWeight3: (a: number, b: number, c: number, d: number) => [number, number, number];
+  readonly wasmordinalarena_compare: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmordinalarena_compareWeight: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmordinalarena_composeWeight2: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmordinalarena_composeWeight3: (a: number, b: number, c: number, d: number) => [number, number, number];
+  readonly wasmordinalarena_finite: (a: number, b: number) => number;
+  readonly wasmordinalarena_finiteValue: (a: number, b: number) => [number, number, number, number];
+  readonly wasmordinalarena_formatOrdinal: (a: number, b: number) => [number, number, number, number];
+  readonly wasmordinalarena_formatWeight: (a: number, b: number) => [number, number, number, number];
+  readonly wasmordinalarena_inspectOrdinal: (a: number, b: number) => [number, number, number];
+  readonly wasmordinalarena_isLimit: (a: number, b: number) => [number, number, number];
+  readonly wasmordinalarena_isSuccessor: (a: number, b: number) => [number, number, number];
+  readonly wasmordinalarena_isZeroOrdinal: (a: number, b: number) => [number, number, number];
+  readonly wasmordinalarena_kind: (a: number, b: number) => [number, number, number, number];
+  readonly wasmordinalarena_new: () => number;
+  readonly wasmordinalarena_nodeCount: (a: number) => number;
+  readonly wasmordinalarena_omega: (a: number) => number;
+  readonly wasmordinalarena_one: (a: number) => number;
+  readonly wasmordinalarena_oplusWeight: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmordinalarena_otimesWeight: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmordinalarena_termCount: (a: number, b: number) => [number, number, number];
+  readonly wasmordinalarena_valuation: (a: number, b: number) => [number, number, number];
+  readonly wasmordinalarena_weightFromOrdinal: (a: number, b: number) => number;
+  readonly wasmordinalarena_zero: (a: number) => number;
+  readonly wasmordinalweight_bottom: () => number;
+  readonly wasmordinalweight_isBottom: (a: number) => number;
+  readonly wasmordinalweight_one: () => number;
+  readonly wasmordinalweight_ordinalIndex: (a: number) => number;
   readonly wasmparametricdensity_cauchy: () => number;
   readonly wasmparametricdensity_evaluate: (a: number, b: number, c: number, d: number) => [number, number, number];
   readonly wasmparametricdensity_exponential: () => number;
@@ -5852,6 +6271,47 @@ export interface InitOutput {
   readonly wasmstabilitycondition_new: (a: number, b: number, c: number) => number;
   readonly wasmstabilitycondition_phase: (a: number, b: number) => number;
   readonly wasmstabilitycondition_stableCount: (a: number, b: number) => number;
+  readonly wasmstaticmultidual2_add: (a: number, b: number) => number;
+  readonly wasmstaticmultidual2_constant: (a: number) => number;
+  readonly wasmstaticmultidual2_div: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual2_getGradient: (a: number) => [number, number];
+  readonly wasmstaticmultidual2_maxByPolicy: (a: number, b: number, c: number) => number;
+  readonly wasmstaticmultidual2_minByPolicy: (a: number, b: number, c: number) => number;
+  readonly wasmstaticmultidual2_mul: (a: number, b: number) => number;
+  readonly wasmstaticmultidual2_nVars: (a: number) => number;
+  readonly wasmstaticmultidual2_neg: (a: number) => number;
+  readonly wasmstaticmultidual2_new: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmstaticmultidual2_sub: (a: number, b: number) => number;
+  readonly wasmstaticmultidual2_toMultiDual: (a: number) => number;
+  readonly wasmstaticmultidual2_variable: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual2_variables: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual3_add: (a: number, b: number) => number;
+  readonly wasmstaticmultidual3_constant: (a: number) => number;
+  readonly wasmstaticmultidual3_div: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual3_getGradient: (a: number) => [number, number];
+  readonly wasmstaticmultidual3_maxByPolicy: (a: number, b: number, c: number) => number;
+  readonly wasmstaticmultidual3_minByPolicy: (a: number, b: number, c: number) => number;
+  readonly wasmstaticmultidual3_mul: (a: number, b: number) => number;
+  readonly wasmstaticmultidual3_nVars: (a: number) => number;
+  readonly wasmstaticmultidual3_neg: (a: number) => number;
+  readonly wasmstaticmultidual3_new: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmstaticmultidual3_sub: (a: number, b: number) => number;
+  readonly wasmstaticmultidual3_toMultiDual: (a: number) => number;
+  readonly wasmstaticmultidual3_variable: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual3_variables: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual4_add: (a: number, b: number) => number;
+  readonly wasmstaticmultidual4_constant: (a: number) => number;
+  readonly wasmstaticmultidual4_div: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual4_getGradient: (a: number) => [number, number];
+  readonly wasmstaticmultidual4_maxByPolicy: (a: number, b: number, c: number) => number;
+  readonly wasmstaticmultidual4_minByPolicy: (a: number, b: number, c: number) => number;
+  readonly wasmstaticmultidual4_mul: (a: number, b: number) => number;
+  readonly wasmstaticmultidual4_neg: (a: number) => number;
+  readonly wasmstaticmultidual4_new: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmstaticmultidual4_sub: (a: number, b: number) => number;
+  readonly wasmstaticmultidual4_toMultiDual: (a: number) => number;
+  readonly wasmstaticmultidual4_variable: (a: number, b: number) => [number, number, number];
+  readonly wasmstaticmultidual4_variables: (a: number, b: number) => [number, number, number];
   readonly wasmtorusweights_custom: (a: number, b: number) => [number, number, number];
   readonly wasmtorusweights_getWeights: (a: number) => [number, number];
   readonly wasmtorusweights_standard: (a: number) => number;
@@ -5958,11 +6418,14 @@ export interface InitOutput {
   readonly __wbg_set_wasmtrajectorypoint_time: (a: number, b: number) => void;
   readonly wasmmultivector_norm: (a: number) => number;
   readonly wasmspacetimevector_t: (a: number) => number;
+  readonly wasmordinalweight_zero: () => number;
   readonly wasmtropicalnumber_zero: () => number;
   readonly wasmtropicalnumber_tropicalMul: (a: number, b: number) => number;
   readonly wasmtrajectorypoint_position: (a: number) => number;
+  readonly wasmstaticmultidual4_nVars: (a: number) => number;
   readonly wasmtropicalpolynomial_coefficients_count: (a: number) => number;
   readonly infogeomutils_softmax: (a: number, b: number) => [number, number];
+  readonly tropicalbatch_foldOplus: (a: number, b: number) => number;
   readonly __wbg_wasmparametricdensity_free: (a: number, b: number) => void;
   readonly __wbg_wasmprobabilitymeasure_free: (a: number, b: number) => void;
   readonly __wbg_wasmrareevent_free: (a: number, b: number) => void;
@@ -6001,6 +6464,7 @@ export interface InitOutput {
   readonly wasmopticalfieldalgebra_width: (a: number) => number;
   readonly wasmoptimizationresult_iterations: (a: number) => number;
   readonly wasmoptimizationresult_objective_value: (a: number) => number;
+  readonly wasmordinal_getIndex: (a: number) => number;
   readonly wasmprob_probability: (a: number) => number;
   readonly wasmprob_value: (a: number) => number;
   readonly wasmprojectivespace_getDimension: (a: number) => number;
@@ -6012,6 +6476,9 @@ export interface InitOutput {
   readonly wasmspacetimevector_y: (a: number) => number;
   readonly wasmspacetimevector_z: (a: number) => number;
   readonly wasmstabilitycondition_getTrustLevel: (a: number) => number;
+  readonly wasmstaticmultidual2_getValue: (a: number) => number;
+  readonly wasmstaticmultidual3_getValue: (a: number) => number;
+  readonly wasmstaticmultidual4_getValue: (a: number) => number;
   readonly wasmtropicalcurve_getGenus: (a: number) => number;
   readonly wasmtropicalnetwork_getSize: (a: number) => number;
   readonly wasmtropicalnumber_getValue: (a: number) => number;
@@ -6053,6 +6520,8 @@ export interface InitOutput {
   readonly __wbg_wasmnamespaceintersection_free: (a: number, b: number) => void;
   readonly __wbg_wasmopticalfieldalgebra_free: (a: number, b: number) => void;
   readonly __wbg_wasmoptimizationutils_free: (a: number, b: number) => void;
+  readonly __wbg_wasmordinal_free: (a: number, b: number) => void;
+  readonly __wbg_wasmordinalweight_free: (a: number, b: number) => void;
   readonly __wbg_wasmprob_free: (a: number, b: number) => void;
   readonly __wbg_wasmprojectivespace_free: (a: number, b: number) => void;
   readonly __wbg_wasmrelativisticconstants_free: (a: number, b: number) => void;
@@ -6061,6 +6530,9 @@ export interface InitOutput {
   readonly __wbg_wasmsobolevspace_free: (a: number, b: number) => void;
   readonly __wbg_wasmspacetimevector_free: (a: number, b: number) => void;
   readonly __wbg_wasmstabilitycondition_free: (a: number, b: number) => void;
+  readonly __wbg_wasmstaticmultidual2_free: (a: number, b: number) => void;
+  readonly __wbg_wasmstaticmultidual3_free: (a: number, b: number) => void;
+  readonly __wbg_wasmtrajectorypoint_free: (a: number, b: number) => void;
   readonly __wbg_wasmtropicalcurve_free: (a: number, b: number) => void;
   readonly __wbg_wasmtropicalmeasure_free: (a: number, b: number) => void;
   readonly __wbg_wasmtropicalnumber_free: (a: number, b: number) => void;
@@ -6094,8 +6566,8 @@ export interface InitOutput {
   readonly __wbindgen_export_6: WebAssembly.Table;
   readonly __externref_table_dealloc: (a: number) => void;
   readonly __externref_drop_slice: (a: number, b: number) => void;
-  readonly closure71_externref_shim: (a: number, b: number, c: any) => void;
-  readonly closure65_externref_shim: (a: number, b: number, c: any, d: any) => void;
+  readonly closure72_externref_shim: (a: number, b: number, c: any) => void;
+  readonly closure66_externref_shim: (a: number, b: number, c: any, d: any) => void;
   readonly __wbindgen_start: () => void;
 }