Hi José, At the moment, the KIP stipulates that the broker remains in InControlledShutdown state until it is re-registered with a new incarnation id. This implies that a broker can be both fenced and in controlled shutdown state. We could make them mutually exclusive but I think that there is value in the current proposal because we are able to differentiate if a broker was fenced due to the controlled shutdown or not.
Best, David On Wed, Jun 1, 2022 at 7:32 PM José Armando García Sancio <jsan...@confluent.io.invalid> wrote: > > Thanks for the updates to the KIP. > > I like enumerating invariants. Is it safe to say that if > `InControlledShutdown` is true then `Fenced` must be false.