Exhibits

Each one measures itself.

Nine live exhibits. The math kernel runs on your device in WebAssembly; every frame ships its own joule receipt — Landauer floor, TDP envelope, impedance μ. Open one to watch a kernel earn its picojoules. Open /receipts afterwards to see your session aggregate, and /scale to anchor the numbers on physics.

2-D canvas cascade

Reason — chain of thought

A small math-domain cascade walks every query through five tiers and emits the trace as the chain of thought.

mathground_view::cascade::walk
2-D canvas L0-identifiable

Omnimodal — one shape-key space

Text, image, audio, and video each ride a deterministic encoder; the cross-modal cosine matrix is the substrate property.

mathground_view::modal
static L2

Escalate — lazy-loaded L2 leaf

The model tier ships as a separate WASM bundle and only loads when the cascade fails to resolve at L0/L1.

mathground_l2_leaf
2-D canvas L0-closed

FFT — radix-2

Cooley–Tukey radix-2 FFT on a live two-tone signal; power spectrum in dB.

mathground_view::fft::fft_in_place
2-D canvas L0-closed

2-D FFT — visual lineage

Row-then-column 1-D FFT passes on a procedural intensity field, beside its log-magnitude spectrum.

mathground_view::fft2d::fft2d_in_place
2-D canvas L0-closed

Lorenz '63 — RK4

Three coupled ODEs integrated by fourth-order Runge–Kutta; the (x, z) projection of the attractor.

mathground_view::lorenz::lorenz_rk4_step
2-D canvas L0-closed

Heat equation — Euler

2-D explicit forward-Euler diffusion under periodic boundary; integral conserved.

mathground_view::heat::heat_step
2-D canvas L0-closed

Gradient descent — Rosenbrock

Polyak heavy-ball gradient descent on the curved valley, navigating to the minimum at (1, 1).

mathground_view::graddescent::gd_step
2-D canvas L0-closed

Particle filter — 512 particles

Bootstrap SMC on a 1-D sinusoidal target; systematic resample at ESS < N/2.

mathground_view::pfilter::pfilter_step
2-D canvas L0-closed

SDF level-set — marching squares

A 2-D signed-distance field (two smooth-unioned circles) traced by marching squares.

mathground_view::sdf::marching_squares
WebGL2 L0-closed

3-D SDF — sphere trace

Signed distance field (sphere ⊕ box smooth-union) sphere-traced in a WebGL2 fragment shader.

mathground_view::sdf3d::FRAGMENT_SRC
WebGPU L0/L2

Splat world — 3-D Gaussians

Anisotropic Gaussian splats rendered through a full WebGPU pipeline: project → 6-stage radix sort → premultiplied-alpha paint. Upload an image to author a new splat shell and see the substrate cost.

mathground_splat::render
static L0-closed

Sudoku — CSP receipts

AC-3 constraint propagation vs brute force vs Z3 on a canonical CSP set; published receipts.

mgai_proof::verify_with

About these exhibits

  • Math kernels live in crates/mathground-view, written once in Rust with native tests, compiled to a single 90 KB WebAssembly bundle.
  • Receipts are computed in your browser by mgai-meter-web — Landauer's kT·ln 2 at 300 K against the kernel's bit-op count, plus a TDP envelope from wall time.
  • Method labels are honest: every receipt says tdp_estimate + landauer_floor because no live energy counter exists in a browser tab.
  • Session aggregates accumulate in localStorage on your device. Nothing is uploaded.