mirror of
https://github.com/block/buzz.git
synced 2026-08-18 06:50:31 +02:00
Drive plan_workspace_activation across the cross-community switch sequence (apply A, switch to B, switch back to A), asserting the observable spawn plan at each step. The existing restore tests exercise begin_relay_activation and record_activates_on_relay as isolated predicates; these close the coverage gap by proving the composition: a later apply must not re-spawn A, stop A to serve B, or let a blank-pinned record float from A to B. Both core invariants are verified load-bearing by mutation: removing the already_running exclusion double-spawns a live agent; neutering the relay filter leaks B's agent into A's plan. Test-only; no production lines touched. Co-authored-by: npub1jmc9dt2lyvzu3h0kxlwxt5zg4fxp9476awyxw6gwxn72g6cw7exqs64whm <96f056ad5f2305c8ddf637dc65d048aa4c12d7daeb8867690e34fca46b0ef64c@sprout-oss.stage.blox.sqprod.co> Signed-off-by: npub1jmc9dt2lyvzu3h0kxlwxt5zg4fxp9476awyxw6gwxn72g6cw7exqs64whm <96f056ad5f2305c8ddf637dc65d048aa4c12d7daeb8867690e34fca46b0ef64c@sprout-oss.stage.blox.sqprod.co>