Formal merge & co-simulation Landing

MIF Studio

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

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

Read the documentation → Source on GitHub PyPI · 0.1.1
At a glance

Live from the source repository

Reflected from the project's public GitHub repository at build time — never hand-copied.

Latest release v0.1.1 3 Jul 2026
Last activity 7 Jul 2026 most recent push
Primary language Python
On PyPI 0.1.1 scpn-mif-core
Stars 0
digital-twinfield-reversed-configurationformal-verificationfpgafusionfusion-energykuramotolean4magneto-inertial-fusionplasma-controlplasma-physicspulsed-powerpyo3pythonreal-timerustspiking-neural-network
Capabilities

What this studio federates

The verbs, backends, and evidence types the studio publishes through the Hub's capability manifest — the same sealed contract the client-side verifier reads.

Verbs

evaluateprovecosimulatebenchmark

Acceleration backends

rustpythonjuliamojogosystemverilogsymbiyosys

Evidence types

studio.benchmark.v1studio.cosim.v1studio.formal-proof.v1studio.merge-trigger.v1
17 catalogued capabilities across the studio

By status

  • 12 wired
  • 2 rtl
  • 1 partial
  • 1 roadmap
  • 1 contract

By tier

  • 15 core
  • 2 extended

Largest domains

  • 5 Kinematic
  • 3 Lifecycle
  • 3 Sensor
  • 2 FPGA
  • 1 Physics
  • 1 Formal
Live evidence bundle

Verified in your browser

This RO-Crate is fetched client-side, unpacked, and checked against the evidence contract — the server cannot silently change the boundary.

studio.unknown.v1external-dependency-blocked
level 1producer-asserted

Download RO-CrateChecking bundle…
Publications

Related publications

Peer-reviewed and whitepaper outputs that cite this studio's evidence bundles.

SCPN-MIF-CORE: Deterministic Phase Synchronisation and Sub-50 ns FPGA Trigger Synthesis for High-Beta Pulsed Plasmas

3 Jul 2026

Documentation

Read the full docs

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…

Open the documentation → README on GitHub

The full documentation is maintained in the project's own repository and rendered on its GitHub Pages — this page links to the canonical source rather than duplicating it.

Reflecting anulum/scpn-mif-core @ b6a4679 · fetched 10 Jul 2026 · sources: projects.json, github-api, pypi, federation.json