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

2025-01-24 Thread Jack Vanlightly (Jira)
[ 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

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

2024-10-01 Thread Jack Vanlightly (Jira)
[ https://issues.apache.org/jira/browse/KAFKA-17644?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17886077#comment-17886077 ] Jack Vanlightly commented on KAFKA-17644: - I can review the spec soon. Feel free

[jira] [Updated] (KAFKA-16281) Possible IllegalState with KIP-996

2024-02-20 Thread Jack Vanlightly (Jira)
[ https://issues.apache.org/jira/browse/KAFKA-16281?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Jack Vanlightly updated KAFKA-16281: Description: I have a TLA+ model of KIP-996 (pre-vote) and I have identified an IllegalSta

[jira] [Updated] (KAFKA-16281) Possible IllegalState with KIP-996

2024-02-20 Thread Jack Vanlightly (Jira)
[ https://issues.apache.org/jira/browse/KAFKA-16281?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Jack Vanlightly updated KAFKA-16281: Summary: Possible IllegalState with KIP-996 (was: Probable IllegalState possible with KIP

[jira] [Created] (KAFKA-16281) Probable IllegalState possible with KIP-966

2024-02-20 Thread Jack Vanlightly (Jira)
Jack Vanlightly created KAFKA-16281: --- Summary: Probable IllegalState possible with KIP-966 Key: KAFKA-16281 URL: https://issues.apache.org/jira/browse/KAFKA-16281 Project: Kafka Issue Type:

[jira] [Commented] (KAFKA-13872) Partitions are truncated when leader is replaced

2023-08-31 Thread Jack Vanlightly (Jira)
[ https://issues.apache.org/jira/browse/KAFKA-13872?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17760945#comment-17760945 ] Jack Vanlightly commented on KAFKA-13872: - This will be fixed by KIP-966. [http

[jira] [Commented] (KAFKA-13872) Partitions are truncated when leader is replaced

2022-05-05 Thread Jack Vanlightly (Jira)
[ https://issues.apache.org/jira/browse/KAFKA-13872?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17532122#comment-17532122 ] Jack Vanlightly commented on KAFKA-13872: - I presume you would need to perform a