Dev.toRust와 Lean 4 기반, sub-microsecond 지연시간의 Neuro-Symbolic 플라즈마 제어 스택SCPN Fusion Core: A Control-First, Neuro-Symbolic Software Stack for Tokamak Plasma ControlInfrastructureadvanced23 분 소요2026년 6월 8일