Case studies
Evidence-backed stories of how Anulum studios are used in practice.
Formal safety envelopes for tokamak control
Using neuro-symbolic stochastic Petri nets to bound plasma-control decisions before they reach the machine, with every command graded against a formal safety envelope and emitted as a studio.safety-certificate.v1 evidence bundle.
Anulum Institute / SCPN ControlBit-exact benchmark suite for neuromorphic inference
An 8-capability, 70-cell benchmark databank that compares stochastic-computing and neuromorphic kernels across Rust, Mojo, Julia, Go, and Python — every cell emitted as a studio.sc-inference.v1 evidence bundle with claim boundary and exactness class.
Anulum Institute / SC-NeuroCoreBounded-model equilibrium reconstruction for a tokamak digital twin
A plasma-equilibrium reconstruction pipeline that grades every reconstruction as bounded-model, documents the synthetic-equilibria validity domain, and links the result to a downloadable studio.equilibrium-reconstruction.v1 evidence bundle.
Anulum Institute / SCPN Fusion CoreQuantum optimal control via Kuramoto-XY synchronisation on IBM Heron
A quantum optimal-control experiment cast as coupled-oscillator synchronisation and executed on IBM Heron r2, with the studio.quantum-control.v1 evidence bundle bounding every claim to the measured qubit count and error-mitigation regime.
Anulum Institute / SCPN Quantum Control