more on automatic and explicit acks
- add some plans on handling invariant-breaks, and expiring non-fresh participants