Why sponsor?

I am building the missing control layer for commercial fusion:
Petri-net → stochastic SNN compiler that turns safety-critical logic into deterministic, formally verified spiking neural networks with <1 ms latency.

What you get right now:

• The only public neuro-symbolic tokamak controller with closed-loop DIII-D shot replay (beta-limit disruption mitigation)
• Formal verification (liveness + boundedness proofs shipped with every artifact)
• Rust-accelerated stochastic bitstream path + pure-Python fallback
• Reproducible benchmarks vs PID/MPC (see neuro_symbolic_control_demo.ipynb)

This is not another ML paper. This is production-grade, safety-first control software written by one person who actually understands both plasma physics and formal methods.

How your sponsorship helps

• $/EUR/SFR10–50/mo → keeps the lights on and CI green
• $/EUR/SFR+/mo → funds real hardware-in-the-loop tests (Loihi 2, DIII-D simulator time, SPARC surrogate campaigns)
• $/EUR/SFR 500+/mo → full-time month on the control core (new formal primitives, multi-actuator coordination, neuromorphic deployment guides)
• $/EUR/SFR 250/ph → you can hire me to get a portion of my dedicated focus on your project

Every sponsor gets:

• Your name/logo in the README of scpn-control (the focused repo launching this week)
• Early access to pre-release features and private Discord
• Direct input on roadmap (you literally help decide what gets built next for reactors)

I have deliberately kept this 100% open-source (AGPL + commercial licensing path). No paywalls on the science. Sponsorship is purely to accelerate the work and let me stop doing 60-hour weeks while holding a day job.

If you believe verified AI control is the difference between fusion on the grid in 2035 or 2045, this is the highest-leverage place you can put money right now.

Thank you — from the guy actually shipping the damn thing.
— anulum