@justinelliottcobb/amari-wasm 0.19.1 → 0.22.0

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
    */
@@ -1430,6 +1455,108 @@ export class WasmCapability {
    */
   requires(required_id: string): WasmCapability;
 }
+/**
+ * Arena-backed short combinatorial game engine for WebAssembly.
+ */
+export class WasmCgtArena {
+  free(): void;
+  /**
+   * Return whether two games are equivalent.
+   */
+  equivalent(lhs: WasmGameId, rhs: WasmGameId): boolean;
+  /**
+   * Return whether a game is numeric.
+   */
+  isNumeric(game: WasmGameId): boolean;
+  /**
+   * Number of interned arena nodes.
+   */
+  nodeCount(): number;
+  /**
+   * Format a game as recursive cut notation.
+   */
+  formatGame(game: WasmGameId): string;
+  /**
+   * Return whether a game is impartial.
+   */
+  isImpartial(game: WasmGameId): boolean;
+  /**
+   * Format a game's canonical representative.
+   */
+  formatCanonicalGame(game: WasmGameId): string;
+  /**
+   * Add two short games.
+   */
+  add(lhs: WasmGameId, rhs: WasmGameId): WasmGameId;
+  /**
+   * Build a one-left, one-right cut `{left | right}`.
+   */
+  cut(left: WasmGameId, right: WasmGameId): WasmGameId;
+  /**
+   * Negate a short game.
+   */
+  neg(game: WasmGameId): WasmGameId;
+  /**
+   * Create an empty arena with the zero game interned lazily.
+   */
+  constructor();
+  /**
+   * Return the game `1 = {0 | }`.
+   */
+  one(): WasmGameId;
+  /**
+   * Subtract two short games.
+   */
+  sub(lhs: WasmGameId, rhs: WasmGameId): WasmGameId;
+  /**
+   * Return the star game `{0 | 0}`.
+   */
+  star(): WasmGameId;
+  /**
+   * Return the zero game `{ | }`.
+   */
+  zero(): WasmGameId;
+  /**
+   * Compute the Grundy nimber of an impartial game.
+   */
+  grundy(game: WasmGameId): number;
+  /**
+   * Compare two games in the partizan order.
+   */
+  compare(lhs: WasmGameId, rhs: WasmGameId): string;
+  /**
+   * Inspect canonical, numeric, impartial, outcome, and size metadata.
+   */
+  inspect(game: WasmGameId): WasmGameInspection;
+  /**
+   * Return the normal-play outcome class.
+   */
+  outcome(game: WasmGameId): string;
+  /**
+   * Return the game's birthday.
+   */
+  birthday(game: WasmGameId): number;
+  /**
+   * Build a one-left-option game `{left | }`.
+   */
+  leftCut(left: WasmGameId): WasmGameId;
+  /**
+   * Build a Nim heap of the requested size.
+   */
+  nimHeap(size: number): WasmGameId;
+  /**
+   * Canonicalize a game and return the canonical representative handle.
+   */
+  canonical(game: WasmGameId): WasmGameId;
+  /**
+   * Return the game `-1 = {| 0}`.
+   */
+  minusOne(): WasmGameId;
+  /**
+   * Build a one-right-option game `{ | right}`.
+   */
+  rightCut(right: WasmGameId): WasmGameId;
+}
 /**
  * WASM wrapper for Chow classes in intersection theory
  */
@@ -1575,6 +1702,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
    */
@@ -1715,6 +1850,84 @@ export class WasmDuallyFlatManifold {
    */
   constructor(dimension: number, alpha: number);
 }
+/**
+ * Exact dyadic rational `numerator / 2^exponent` for short surreal values.
+ */
+export class WasmDyadic {
+  free(): void;
+  /**
+   * Checked division; fails if the quotient leaves the dyadic layer.
+   */
+  checkedDiv(rhs: WasmDyadic): WasmDyadic;
+  /**
+   * Return whether the dyadic is negative.
+   */
+  isNegative(): boolean;
+  /**
+   * Return whether the dyadic is positive.
+   */
+  isPositive(): boolean;
+  /**
+   * Create a dyadic integer.
+   */
+  static fromInteger(value: number): WasmDyadic;
+  /**
+   * Numerator as a base-10 string.
+   */
+  numeratorString(): string;
+  /**
+   * Checked reciprocal within the dyadic short-surreal layer.
+   */
+  checkedReciprocal(): WasmDyadic;
+  /**
+   * Absolute value.
+   */
+  abs(): WasmDyadic;
+  /**
+   * Add two dyadics exactly.
+   */
+  add(rhs: WasmDyadic): WasmDyadic;
+  /**
+   * Multiply two dyadics exactly.
+   */
+  mul(rhs: WasmDyadic): WasmDyadic;
+  /**
+   * Negate the dyadic.
+   */
+  neg(): WasmDyadic;
+  /**
+   * Create and normalize a dyadic rational `numerator / 2^exponent`.
+   */
+  constructor(numerator: number, exponent: number);
+  /**
+   * Return one.
+   */
+  static one(): WasmDyadic;
+  /**
+   * Subtract two dyadics exactly.
+   */
+  sub(rhs: WasmDyadic): WasmDyadic;
+  /**
+   * Return the sign as `negative`, `zero`, or `positive`.
+   */
+  sign(): string;
+  /**
+   * Return zero.
+   */
+  static zero(): WasmDyadic;
+  /**
+   * Format as an integer or rational string.
+   */
+  format(): string;
+  /**
+   * Return whether the dyadic is zero.
+   */
+  isZero(): boolean;
+  /**
+   * Power-of-two denominator exponent.
+   */
+  exponent(): number;
+}
 /**
  * WASM wrapper for equivariant localization on Grassmannians
  */
@@ -2032,6 +2245,64 @@ export class WasmGF2Vector {
    */
   static fromBits(bits: Uint8Array): WasmGF2Vector;
 }
+/**
+ * Opaque handle for a short combinatorial game stored in a `WasmCgtArena`.
+ */
+export class WasmGameId {
+  private constructor();
+  free(): void;
+  /**
+   * Returns whether two game handles point at the same arena-local game.
+   */
+  same(other: WasmGameId): boolean;
+}
+/**
+ * Inspection summary for a short combinatorial game.
+ */
+export class WasmGameInspection {
+  private constructor();
+  free(): void;
+  /**
+   * Whether the game is numeric.
+   */
+  isNumeric(): boolean;
+  /**
+   * Whether the game is partizan.
+   */
+  isPartizan(): boolean;
+  /**
+   * Whether the game already is its canonical representative.
+   */
+  isCanonical(): boolean;
+  /**
+   * Whether the game is impartial.
+   */
+  isImpartial(): boolean;
+  /**
+   * Canonical structural form as recursive cut notation.
+   */
+  canonicalForm(): string;
+  /**
+   * Whether the game is non-numeric.
+   */
+  isNonNumeric(): boolean;
+  /**
+   * Number of reachable arena nodes in the game DAG.
+   */
+  reachableNodeCount(): number;
+  /**
+   * Normal-play outcome class.
+   */
+  outcome(): string;
+  /**
+   * Birthday of the inspected game.
+   */
+  birthday(): number;
+  /**
+   * Canonical representative handle.
+   */
+  canonical(): WasmGameId;
+}
 /**
  * WASM wrapper for Gaussian distribution on Cl(3,0,0) multivector space
  *
@@ -3021,6 +3292,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 +3328,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 +3831,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
  */
@@ -4033,6 +4464,101 @@ export class WasmSensitivityMap {
    */
   getTotalSensitivity(): number;
 }
+/**
+ * Exact short surreal value backed by a dyadic rational.
+ */
+export class WasmShortSurreal {
+  private constructor();
+  free(): void;
+  /**
+   * Reconstruct this short surreal as a numeric CGT game in the provided arena.
+   */
+  toGameIn(arena: WasmCgtArena): WasmGameId;
+  /**
+   * Checked division; fails if the quotient leaves the dyadic layer.
+   */
+  checkedDiv(rhs: WasmShortSurreal): WasmShortSurreal;
+  /**
+   * Create a short surreal from an exact dyadic value.
+   */
+  static fromDyadic(value: WasmDyadic): WasmShortSurreal;
+  /**
+   * Return whether the value is negative.
+   */
+  isNegative(): boolean;
+  /**
+   * Return whether the value is positive.
+   */
+  isPositive(): boolean;
+  /**
+   * Create a short surreal from an integer.
+   */
+  static fromInteger(value: number): WasmShortSurreal;
+  /**
+   * Whether the value was converted from a CGT game handle.
+   */
+  hasProvenance(): boolean;
+  /**
+   * Checked reciprocal within the dyadic short-surreal layer.
+   */
+  checkedReciprocal(): WasmShortSurreal;
+  /**
+   * Absolute value.
+   */
+  abs(): WasmShortSurreal;
+  /**
+   * Add two short surreals exactly.
+   */
+  add(rhs: WasmShortSurreal): WasmShortSurreal;
+  /**
+   * Multiply two short surreals exactly.
+   */
+  mul(rhs: WasmShortSurreal): WasmShortSurreal;
+  /**
+   * Negate the value.
+   */
+  neg(): WasmShortSurreal;
+  /**
+   * Return one.
+   */
+  static one(): WasmShortSurreal;
+  /**
+   * Subtract two short surreals exactly.
+   */
+  sub(rhs: WasmShortSurreal): WasmShortSurreal;
+  /**
+   * Return the sign as `negative`, `zero`, or `positive`.
+   */
+  sign(): string;
+  /**
+   * Return zero.
+   */
+  static zero(): WasmShortSurreal;
+  /**
+   * Format as an integer or dyadic rational string.
+   */
+  format(): string;
+  /**
+   * Compare two short surreal values.
+   */
+  compare(rhs: WasmShortSurreal): string;
+  /**
+   * Return whether the value is zero.
+   */
+  isZero(): boolean;
+  /**
+   * Birthday of the short surreal value.
+   */
+  birthday(): number;
+  /**
+   * Convert a numeric CGT game to a short surreal.
+   */
+  static fromGame(arena: WasmCgtArena, game: WasmGameId): WasmShortSurreal;
+  /**
+   * Return the exact dyadic value.
+   */
+  toDyadic(): WasmDyadic;
+}
 /**
  * Simple quadratic optimization problem for WASM demonstration
  */
@@ -4414,6 +4940,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
  */
@@ -5088,6 +5803,7 @@ export interface InitOutput {
   readonly __wbg_wasmbinarymultivector_free: (a: number, b: number) => void;
   readonly __wbg_wasmboundaryface_free: (a: number, b: number) => void;
   readonly __wbg_wasmcapability_free: (a: number, b: number) => void;
+  readonly __wbg_wasmcgtarena_free: (a: number, b: number) => void;
   readonly __wbg_wasmchowclass_free: (a: number, b: number) => void;
   readonly __wbg_wasmcommunity_free: (a: number, b: number) => void;
   readonly __wbg_wasmcomposablenamespace_free: (a: number, b: number) => void;
@@ -5099,6 +5815,8 @@ export interface InitOutput {
   readonly __wbg_wasmfiltration_free: (a: number, b: number) => void;
   readonly __wbg_wasmfisherinformationmatrix_free: (a: number, b: number) => void;
   readonly __wbg_wasmfishermeasure_free: (a: number, b: number) => void;
+  readonly __wbg_wasmgameid_free: (a: number, b: number) => void;
+  readonly __wbg_wasmgameinspection_free: (a: number, b: number) => void;
   readonly __wbg_wasmgaussianmultivector_free: (a: number, b: number) => void;
   readonly __wbg_wasmgeodesicintegrator_free: (a: number, b: number) => void;
   readonly __wbg_wasmgeometricca_free: (a: number, b: number) => void;
@@ -5107,7 +5825,6 @@ export interface InitOutput {
   readonly __wbg_wasmgf2matrix_free: (a: number, b: number) => void;
   readonly __wbg_wasmgf2vector_free: (a: number, b: number) => void;
   readonly __wbg_wasmgradeprojecteddistribution_free: (a: number, b: number) => void;
-  readonly __wbg_wasmgrassmannian_free: (a: number, b: number) => void;
   readonly __wbg_wasmholographicmemory_free: (a: number, b: number) => void;
   readonly __wbg_wasmintersectionresult_free: (a: number, b: number) => void;
   readonly __wbg_wasminversecadesigner_free: (a: number, b: number) => void;
@@ -5124,6 +5841,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;
@@ -5131,12 +5849,13 @@ export interface InitOutput {
   readonly __wbg_wasmschubertcalculus_free: (a: number, b: number) => void;
   readonly __wbg_wasmselfassembler_free: (a: number, b: number) => void;
   readonly __wbg_wasmsensitivitymap_free: (a: number, b: number) => void;
+  readonly __wbg_wasmshortsurreal_free: (a: number, b: number) => void;
   readonly __wbg_wasmsimplex_free: (a: number, b: number) => void;
   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 +5990,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];
@@ -5345,6 +6065,30 @@ export interface InitOutput {
   readonly wasmcapability_getName: (a: number) => [number, number];
   readonly wasmcapability_new: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => [number, number, number];
   readonly wasmcapability_requires: (a: number, b: number, c: number) => number;
+  readonly wasmcgtarena_add: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmcgtarena_birthday: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_canonical: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_compare: (a: number, b: number, c: number) => [number, number, number, number];
+  readonly wasmcgtarena_cut: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmcgtarena_equivalent: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmcgtarena_formatCanonicalGame: (a: number, b: number) => [number, number, number, number];
+  readonly wasmcgtarena_formatGame: (a: number, b: number) => [number, number, number, number];
+  readonly wasmcgtarena_grundy: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_inspect: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_isImpartial: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_isNumeric: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_leftCut: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_minusOne: (a: number) => [number, number, number];
+  readonly wasmcgtarena_neg: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_new: () => number;
+  readonly wasmcgtarena_nimHeap: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_nodeCount: (a: number) => number;
+  readonly wasmcgtarena_one: (a: number) => [number, number, number];
+  readonly wasmcgtarena_outcome: (a: number, b: number) => [number, number, number, number];
+  readonly wasmcgtarena_rightCut: (a: number, b: number) => [number, number, number];
+  readonly wasmcgtarena_star: (a: number) => [number, number, number];
+  readonly wasmcgtarena_sub: (a: number, b: number, c: number) => [number, number, number];
+  readonly wasmcgtarena_zero: (a: number) => number;
   readonly wasmchowclass_getDegree: (a: number) => number;
   readonly wasmchowclass_getDimension: (a: number) => number;
   readonly wasmchowclass_hypersurface: (a: number) => number;
@@ -5387,7 +6131,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;
@@ -5403,6 +6149,23 @@ export interface InitOutput {
   readonly wasmdualnumber_tan: (a: number) => number;
   readonly wasmdualnumber_tanh: (a: number) => number;
   readonly wasmdualnumber_variable: (a: number) => number;
+  readonly wasmdyadic_abs: (a: number) => number;
+  readonly wasmdyadic_add: (a: number, b: number) => number;
+  readonly wasmdyadic_checkedDiv: (a: number, b: number) => [number, number, number];
+  readonly wasmdyadic_checkedReciprocal: (a: number) => [number, number, number];
+  readonly wasmdyadic_format: (a: number) => [number, number];
+  readonly wasmdyadic_fromInteger: (a: number) => number;
+  readonly wasmdyadic_isNegative: (a: number) => number;
+  readonly wasmdyadic_isPositive: (a: number) => number;
+  readonly wasmdyadic_isZero: (a: number) => number;
+  readonly wasmdyadic_mul: (a: number, b: number) => number;
+  readonly wasmdyadic_neg: (a: number) => number;
+  readonly wasmdyadic_new: (a: number, b: number) => number;
+  readonly wasmdyadic_numeratorString: (a: number) => [number, number];
+  readonly wasmdyadic_one: () => number;
+  readonly wasmdyadic_sign: (a: number) => [number, number];
+  readonly wasmdyadic_sub: (a: number, b: number) => number;
+  readonly wasmdyadic_zero: () => number;
   readonly wasmequivariantlocalizer_fixedPointCount: (a: number) => number;
   readonly wasmequivariantlocalizer_localizedIntersection: (a: number, b: number, c: number) => number;
   readonly wasmequivariantlocalizer_new: (a: number, b: number) => [number, number, number];
@@ -5433,6 +6196,17 @@ export interface InitOutput {
   readonly wasmfourvelocity_rapidity: (a: number) => number;
   readonly wasmfourvelocity_spatial_velocity_magnitude: (a: number) => number;
   readonly wasmfourvelocity_to_string: (a: number) => [number, number];
+  readonly wasmgameid_same: (a: number, b: number) => number;
+  readonly wasmgameinspection_birthday: (a: number) => number;
+  readonly wasmgameinspection_canonical: (a: number) => number;
+  readonly wasmgameinspection_canonicalForm: (a: number) => [number, number];
+  readonly wasmgameinspection_isCanonical: (a: number) => number;
+  readonly wasmgameinspection_isImpartial: (a: number) => number;
+  readonly wasmgameinspection_isNonNumeric: (a: number) => number;
+  readonly wasmgameinspection_isNumeric: (a: number) => number;
+  readonly wasmgameinspection_isPartizan: (a: number) => number;
+  readonly wasmgameinspection_outcome: (a: number) => [number, number];
+  readonly wasmgameinspection_reachableNodeCount: (a: number) => number;
   readonly wasmgaussianmultivector_getCovariance: (a: number) => [number, number];
   readonly wasmgaussianmultivector_getMean: (a: number) => [number, number];
   readonly wasmgaussianmultivector_getStdDevs: (a: number) => [number, number];
@@ -5622,10 +6396,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];
@@ -5712,11 +6489,40 @@ export interface InitOutput {
   readonly wasmopticalrotorfield_random: (a: number, b: number, c: bigint) => number;
   readonly wasmopticalrotorfield_totalEnergy: (a: number) => number;
   readonly wasmopticalrotorfield_uniform: (a: number, b: number, c: number, d: number) => number;
-  readonly wasmopticalrotorfield_width: (a: number) => number;
   readonly wasmoptimizationresult_converged: (a: number) => number;
   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;
@@ -5791,6 +6597,27 @@ export interface InitOutput {
   readonly wasmsensitivitymap_getAllSensitivities: (a: number) => [number, number, number];
   readonly wasmsensitivitymap_getMostSensitive: (a: number, b: number) => [number, number];
   readonly wasmsensitivitymap_getTotalSensitivity: (a: number) => number;
+  readonly wasmshortsurreal_abs: (a: number) => number;
+  readonly wasmshortsurreal_add: (a: number, b: number) => number;
+  readonly wasmshortsurreal_checkedDiv: (a: number, b: number) => [number, number, number];
+  readonly wasmshortsurreal_checkedReciprocal: (a: number) => [number, number, number];
+  readonly wasmshortsurreal_compare: (a: number, b: number) => [number, number];
+  readonly wasmshortsurreal_format: (a: number) => [number, number];
+  readonly wasmshortsurreal_fromDyadic: (a: number) => number;
+  readonly wasmshortsurreal_fromGame: (a: number, b: number) => [number, number, number];
+  readonly wasmshortsurreal_fromInteger: (a: number) => number;
+  readonly wasmshortsurreal_hasProvenance: (a: number) => number;
+  readonly wasmshortsurreal_isNegative: (a: number) => number;
+  readonly wasmshortsurreal_isPositive: (a: number) => number;
+  readonly wasmshortsurreal_isZero: (a: number) => number;
+  readonly wasmshortsurreal_mul: (a: number, b: number) => number;
+  readonly wasmshortsurreal_neg: (a: number) => number;
+  readonly wasmshortsurreal_one: () => number;
+  readonly wasmshortsurreal_sign: (a: number) => [number, number];
+  readonly wasmshortsurreal_sub: (a: number, b: number) => number;
+  readonly wasmshortsurreal_toDyadic: (a: number) => number;
+  readonly wasmshortsurreal_toGameIn: (a: number, b: number) => [number, number, number];
+  readonly wasmshortsurreal_zero: () => number;
   readonly wasmsimpleoptimizer_optimizeQuadratic: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
   readonly wasmsimplex_boundaryFaces: (a: number) => [number, number];
   readonly wasmsimplex_containsVertex: (a: number, b: number) => number;
@@ -5852,6 +6679,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 +6826,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;
@@ -5980,6 +6851,7 @@ export interface InitOutput {
   readonly wasmcommunity_cohesion_score: (a: number) => number;
   readonly wasmcriticalpoint_value: (a: number) => number;
   readonly wasmdualnumber_getReal: (a: number) => number;
+  readonly wasmdyadic_exponent: (a: number) => number;
   readonly wasmevaluationresult_getBestPathScore: (a: number) => number;
   readonly wasmevaluationresult_getGradientNorm: (a: number) => number;
   readonly wasmgeometricbrownianmotion_getMu: (a: number) => number;
@@ -5999,19 +6871,25 @@ export interface InitOutput {
   readonly wasmmultiobjectiveresult_generations: (a: number) => number;
   readonly wasmopticalfieldalgebra_height: (a: number) => number;
   readonly wasmopticalfieldalgebra_width: (a: number) => number;
+  readonly wasmopticalrotorfield_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;
   readonly wasmpropagationanalysis_convergence_time: (a: number) => number;
   readonly wasmrareevent_probability: (a: number) => number;
   readonly wasmschwarzschildmetric_mass: (a: number) => number;
+  readonly wasmshortsurreal_birthday: (a: number) => number;
   readonly wasmsimplicialcomplex_dimension: (a: number) => number;
   readonly wasmspacetimevector_x: (a: number) => number;
   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;
@@ -6046,6 +6924,7 @@ export interface InitOutput {
   readonly __wbg_wasmgeometricbrownianmotion_free: (a: number, b: number) => void;
   readonly __wbg_wasmgeometricedge_free: (a: number, b: number) => void;
   readonly __wbg_wasmgpuoptimizer_free: (a: number, b: number) => void;
+  readonly __wbg_wasmgrassmannian_free: (a: number, b: number) => void;
   readonly __wbg_wasmhilbertspace_free: (a: number, b: number) => void;
   readonly __wbg_wasmmontecarloestimator_free: (a: number, b: number) => void;
   readonly __wbg_wasmmontecarloverifier_free: (a: number, b: number) => void;
@@ -6053,6 +6932,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,12 +6942,16 @@ 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;
   readonly __wbg_wasmtropicalopticalalgebra_free: (a: number, b: number) => void;
   readonly __wbg_wasmwallcrossingengine_free: (a: number, b: number) => void;
   readonly __wbg_wasmwienerprocess_free: (a: number, b: number) => void;
+  readonly __wbg_wasmdyadic_free: (a: number, b: number) => void;
   readonly __wbg_wasmfixedpoint_free: (a: number, b: number) => void;
   readonly __wbg_wasmmatrixoperator_free: (a: number, b: number) => void;
   readonly __wbg_wasmmultiobjectiveresult_free: (a: number, b: number) => void;
@@ -6094,8 +6979,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 closure77_externref_shim: (a: number, b: number, c: any) => void;
+  readonly closure71_externref_shim: (a: number, b: number, c: any, d: any) => void;
   readonly __wbindgen_start: () => void;
 }