CrashDiag: Mechanically Verified Reinforcement Learning for Infrastructure Repair
In preparationResearch writeup planned around bounded JSON actions, state-based verifiers, answer-free GRPO rewards, held-out mechanical evaluation, and fail-closed promotion gates.