rebind stale SPEC-EXECUTOR-1 R4 after lane changes