Removes Akka and refactors around this removal#352

Draft

rayman2000 wants to merge 22 commits intomasterfrom

Commits on May 5, 2026

Commits on May 7, 2026

S4: VerificationServer constructor lifecycle
rayman2000
committed
S1: Simplify JobPool to a single map with atomic tryBook
rayman2000
committed
S2: Make EnvelopeStream offer/complete mutex-safe; task owns its stream
rayman2000
committed
S3: Per-FileManager monitor serializes RelayHandler + verification mutators
rayman2000
committed
H1+H2: Drop duplicate apache Socket and unused findFreePort
rayman2000
committed
Add task.settled to sequence cleanup before stream wake-ups
rayman2000
committed
Per-FileContent monitor serializes buffer reads/writes against LSP threads
rayman2000
committed
S3.1: Per-FileManager monitor serializes ProjectManager mutators
rayman2000
committed