Idk if the spec describes what we have in code that well
The code publishes one add per epoch tip
Also "The "correct membership" for a particular epoch is calculated as the union of all declared members in all epochs, minus the union of all excluded members in any epoch up till that epoch." sounds wrong, that disallows re-adding, which is something the module supports
We had a discussion on signal and i wrote this: