feat: forester shutdown signaling, panic isolation, prover client hardening#2343

Merged

SwenSchaeferjohann merged 8 commits intosergey/runtime-safety-hardeningfrom

sergey/forester-concurrency

Apr 29, 2026

Commits on Apr 10, 2026

Commits on Apr 11, 2026

forester refactoring
sergeytimoshin
committed

Commits on Apr 12, 2026

fix(forester): restore working API server pattern after botched migration

sergeytimoshin
and
claude
committed

Commits on Apr 13, 2026

fix(forester): restore Clone + compile tests after tracker cleanup

sergeytimoshin
and
claude
committed

Commits on Apr 29, 2026