Formal merge & co-simulation

MIF Studio

Magneto-inertial fusion — pulsed field-reversed-configuration kinematics and a sub-50 ns RTL hot path.

Latest release v0.1.1 2026-07-03
PyPI 0.1.1 scpn-mif-core
Capabilities 17 manifest v0.1.0
GitHub 0 ★ Python

What this studio is

Deterministic phase synchronisation and hardware synthesis for high-beta pulsed magneto-inertial fusion plasmas on field-reversed configurations. The engineering objective is sub-50-nanosecond combinatorial sensor-to-actuator triggering on AMD Xilinx UltraScale+ FPGAs; the present release ships the software kinematic, lifecycle, diagnostic, and AER surfaces…

SCPN MIF-Core — pulsed field-reversed-configuration kinematic and sub-50 ns RTL hot-path laboratory for magneto-inertial fusion control

digital-twinfield-reversed-configurationformal-verificationfpgafusionfusion-energykuramotolean4magneto-inertial-fusionplasma-controlplasma-physicspulsed-powerpyo3pythonreal-timerustspiking-neural-network

Declared capabilities

The studio's capability manifest declares 17 capabilities and emits 4 evidence types through the federation gate.

Verbs

evaluateprovecosimulatebenchmark

Compute backends

rustpythonjuliamojogosystemverilogsymbiyosys

Evidence types

  • studio.benchmark.v1
  • studio.cosim.v1
  • studio.formal-proof.v1
  • studio.merge-trigger.v1

Evidence

Download the evidence bundle (RO-Crate) — producer-asserted, boundary external-dependency-blocked.

Reflected from the public repository on 2026-07-10 (commit b6a4679aad80) ; refreshed on every portal deploy. Full project view: /projects/scpn-mif-core/.