Expand description
Document structure with field-level Last-Write-Wins
This implementation follows the TLA+ verified specification in protocol/tla/lww_merge.tla
Properties verified:
- Convergence: All replicas reach identical state
- Determinism: Same inputs always produce same output
- Idempotence: Applying operation twice has no effect
- Commutativity: Order of merges doesn’t matter