I just shipped the canonical neuro-symbolic control demo
Compiles stochastic Petri nets into a verified SNN (LIF + bitstream) and executes closed-loop replay on real DIII‑D shot data with liveness/boundedness proofs and SHA256 proof bundles. The notebook also ships side-by-side SNN vs PID vs MPC metrics, a FusionKernel digital twin, and deterministic artifact export — impressive technical depth for experimental fusion control, but clearly aimed at specialists and not turnkey for newcomers.