[jira] [Created] (KAFKA-17644) TLA+ spec modifications

[Alyssa Huang (Jira)]

Alyssa Huang created KAFKA-17644:
------------------------------------

             Summary: TLA+ spec modifications
                 Key: KAFKA-17644
                 URL: https://issues.apache.org/jira/browse/KAFKA-17644
             Project: Kafka
          Issue Type: Sub-task
            Reporter: Alyssa Huang


[~vanlightly] was helping validate pre-vote via his TLA+ spec earlier, confirm 
implementation matches behavior modeled/vice versa.



--
This message was sent by Atlassian Jira
(v8.20.10#820010)