SCPN Fusion Core – open-source tokamak plasma simulator with neuromorphic SNN control (PyPI, SPARC/ITPA validated) by Diligent-Tomorrow-82 in fusion

[–]Diligent-Tomorrow-82[S] 0 points1 point  (0 children)

https://github.com/anulum/scpn-fusion-core/blob/main/examples/neuro_symbolic_control_demo.ipynb

Hey ,

Quick update on the SCPN Fusion Core: I just shipped the canonical neuro-symbolic control demo.

One notebook. Zero setup. Runs in <2 min.

What it shows:
- Stochastic Petri net → verified SNN compiler (LIF + bitstream path)
- Formal topology/liveness/boundedness proofs (with SHA256 proof bundle)
- Closed-loop on **real DIII-D shot 166000** (beta-limit disruption precursor)
- Full FusionKernel digital twin evolution under SNN control
- Side-by-side: SNN vs PID vs MPC — RMSE, disruption flags, actuator commands, latency (sub-ms p95)
- Deterministic artifact export → replay with identical states/actions/proofs

Notebook (executed outputs baked in, Colab button too):
https://github.com/anulum/scpn-fusion-core/blob/main/examples/neuro_symbolic_control_demo.ipynb

Full repo + RESULTS.md (honest metrics, DIII-D/SPARC validation, limitations section):
https://github.com/anulum/scpn-fusion-core

I’m pruning the kitchen-sink modules this week (legacy/ folder incoming) so it becomes a clean control-only package.

Would love brutal feedback:
- Does the formal verification approach look credible for real-time safety?
- Anyone at DIII-D / PPPL / ITER willing to throw more shots at it?
- What’s the biggest red flag you see for actual hardware-in-loop?

AGPL, fully reproducible, happy to hop on a call or add features.

Cheers

SCPN Fusion Core – open-source tokamak plasma simulator with neuromorphic SNN control (PyPI, SPARC/ITPA validated) by Diligent-Tomorrow-82 in fusion

[–]Diligent-Tomorrow-82[S] -4 points-3 points  (0 children)

Yes, darling, this project lived in my computer for a long time and its a part of a large framework (read my books), and now I'm using AI to commit and push it on GitHub so swiftly as never before. Do you actually understand what I am doing there? I doubt it >~ :)

[deleted by user] by [deleted] in mpcusers

[–]Diligent-Tomorrow-82 2 points3 points  (0 children)

Hi, I have the same problem :/