[
https://issues.apache.org/jira/browse/KAFKA-17644?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17916639#comment-17916639
]
Jack Vanlightly commented on KAFKA-17644:
-----------------------------------------
The TLA+ verification is done. I have a specification that includes pre-vote
and reconfiguration (KIP-853).
[https://github.com/Vanlightly/kafka-tlaplus/blob/main/kraft/kip_996/README.md]
It has passed all safety and liveness checking, so we're looking good.
> TLA+ spec modifications
> -----------------------
>
> Key: KAFKA-17644
> URL: https://issues.apache.org/jira/browse/KAFKA-17644
> Project: Kafka
> Issue Type: Sub-task
> Components: kraft
> Reporter: Alyssa Huang
> Priority: Major
>
> [~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)
