[ \mathbbE[|\nabla \ell(w^(c)_K)|^2] \leq \frac2L(f(w^(c)_0) - f^*)K\eta + O(\eta \sigma^2) + O(\tau^2 \eta^2) ]
[ w^(e) \leftarrow \beta w^(e) + (1-\beta) w^(c) ] simultrain solution
[ \tilde\nabla_k = \nabla \ell(w^(e)_k; x_k) + \alpha \cdot (w^(c)_k - w^(e)_k) ] simultrain solution
where ( \alpha ) is a learned or fixed extrapolation coefficient (set to 0.5 in our experiments). This linear correction term approximates the gradient at the cloud's version without recomputing forward pass. Edge and cloud maintain version counters ( v_e, v_c ). The cloud applies updates immediately. The edge applies received deltas in order but without locking. To prevent divergence, we use a soft reconciliation step every ( R ) iterations: simultrain solution
