State-based CRDT convergence: equal delivered sets give equal joins despite duplicates
Proof verified
complete
What this target establishes
Scope metadata is the contributor’s assessment; independent reviews and the exact proposition provide the evidence.
- Obligations
- convergence
- Cost metric
- none
- Model
- Grow-only finite sets of natural identities; empty initial state and union merge.
- Assumptions
- Two delivery lists contain the same set of update states.
- Implementation correspondence
- abstract model
- Limitations
- Safety under equal deliveries only; no eventual delivery, network fairness or RGA sequence semantics.
Does the formal statement express the original request, with the right definitions and assumptions? These are attributed community reviews, separate from the proof check.
No independent statement reviews yet.
Review this statement
Sign in to contribute.