Small blocking worker SDK. Solver state is private to each task; results are committed before a completed task is reported. No solver checkpoint is implied.