Repository navigation

Group chat model: numbering, memory, client writes and membership hash - #49

Merged

david415 merged 8 commits into

mainfrom

groupchat-model-fixes

Oct 18, 2026

Merged

Group chat model: numbering, memory, client writes and membership hash#49
david415 merged 8 commits into
mainfrom
groupchat-model-fixes

Commits on Oct 18, 2026
- Number members only while the roster has room
  Mycroft
  committed
  d558110
- Keep a removed member's placeholder out of the keys a prefix names
  Mycroft
  committed
  3cb322a
- Bound what a member remembers of what it reads
  Mycroft
  committed
  a513df2
- Write nothing from the member's own pool once its client writes
  Mycroft
  committed
  4c3128a
- Stamp the member's view on the messages it makes, as the app does
  Mycroft
  committed
  2657cc5
- verify-vectors: regenerate the group chat wire vectors and traces from katzenqt
  Mycroft
  committed
  2adda5c
- Drop tactics that do nothing
  Mycroft
  committed
  b356aab
- Name each member of a Numbers field apart, and prove every one a member composes reads back
  Mycroft
  committed
  6d4efb6