Skip to content

Add missed-ack-escalation scenario: 3 dropped prepare_acks force retr… - #314

Open
devjoshi2005 wants to merge 1 commit into
projnanda:mainfrom
devjoshi2005:feat/missed-ack-escalation-scenario
Open

devjoshi2005 wants to merge 1 commit into
projnanda:mainfrom
devjoshi2005:feat/missed-ack-escalation-scenario

Conversation

@devjoshi2005

@devjoshi2005 devjoshi2005 commented Oct 20, 2026 •

Copy link
Copy Markdown

What

New scenario testing consensus recovery when acknowledgments are dropped.

  • 1 proposer + 5 acceptors
  • 3 of 5 prepare_acks dropped (quorum = 3, so 2 survive → below quorum)
  • Proposer retries missing acceptors, reaches quorum on a later round

Properties (all pass)

  • quorum_commit: commit followed 3 distinct eligible acks
  • agreement: all 5 acceptors committed the same value
  • fault_recovered: drops → proposal_retry → recovery
  • ledger_conserved

Run

pip install nandatown
nandatown run missed-ack-escalation   

Evidence

runs/sim-88819bb84033

@devjoshi2005

Copy link
Copy Markdown
Author

Hi team, gentle ping on this PR whenever you have a moment to review, would be happy to make any adjustment

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant