@justinelliottcobb/amari-wasm 0.21.0 → 0.22.0

package/README.md

@@ -1,4 +1,4 @@
-# @justinelliottcobb/amari-wasm v0.21.0
+# @justinelliottcobb/amari-wasm v0.22.0
 
 **Unified Mathematical Computing Library with High-Precision WebAssembly Support**
 
@@ -15,6 +15,8 @@ Amari is a comprehensive mathematical computing library that brings advanced alg
 | [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 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 |
+| Combinatorial Game Theory | amari-cgt | v0.22.0 | Short normal-play games, cuts, outcomes, comparison, nimbers, and inspection helpers |
+| Short Surreal Numbers | amari-surreal | v0.22.0 | Exact dyadic short-surreal arithmetic and conversion to/from numeric CGT games |
 | [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 +32,17 @@ 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.22.0 CGT / Surreal WASM Surface
+
+The `0.22.0` release exposes the new short-game and short-surreal Rust APIs to JavaScript/TypeScript:
+
+- `WasmCgtArena` and `WasmGameId` for arena-backed short games, focused one-option cuts, addition/subtraction/negation, comparison, outcomes, canonicalization, and formatting.
+- `WasmGameInspection` for birthday, canonical form, outcome, numeric/impartial classification, and reachable-node counts.
+- `WasmDyadic` for exact dyadic arithmetic with checked division inside the short-surreal layer.
+- `WasmShortSurreal` for exact short-surreal arithmetic plus conversion from numeric CGT games and reconstruction back into a `WasmCgtArena`.
+
+The scope remains intentionally short/exact: loopy games, misère play, symbolic infinite surreals, and surcomplex arithmetic are not part of the `0.22.0` WASM surface.
+
 ### v0.21.0 Tropical / Dual WASM Surface
 
 The `0.21.0` release exposes the new optimization-oriented Rust APIs to JavaScript/TypeScript:

package/amari_wasm.d.ts

@@ -1455,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
  */
@@ -1748,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
  */
@@ -2065,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
  *
@@ -4226,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
  */
@@ -5470,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;
@@ -5481,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;
@@ -5489,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;
@@ -5514,6 +5849,7 @@ 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;
@@ -5729,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;
@@ -5789,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];
@@ -5819,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];
@@ -6101,7 +6489,6 @@ 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;
@@ -6210,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;
@@ -6443,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;
@@ -6462,6 +6871,7 @@ 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;
@@ -6471,6 +6881,7 @@ export interface InitOutput {
   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;
@@ -6513,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;
@@ -6539,6 +6951,7 @@ export interface InitOutput {
   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;
@@ -6566,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 closure72_externref_shim: (a: number, b: number, c: any) => void;
-  readonly closure66_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;
 }