Group lifecycle: participation taxonomy + eviction detection, recovery probe, removal notices, quarantine (#727)#769

Merged

erskingardner merged 17 commits into

masterfrom

feat/group-lifecycle-taxonomy

Jul 2, 2026

Commits on Jul 2, 2026

docs(spec): define group participation states and terminal eviction/pre-membership outcomes

mubarakcoded
authored and
erskingardner
committed
feat(traits): add GroupParticipation status enum

mubarakcoded
authored and
erskingardner
committed
docs(spec): clarify Evicted clears only via verified rejoin, not in-group commit processing

mubarakcoded
authored and
erskingardner
committed
test(traits): snapshot GroupParticipation variants

mubarakcoded
authored and
erskingardner
committed
docs(spec): derive path-2 eviction above MLS, add Left participation state, interval-based pre-membership

mubarakcoded
authored and
erskingardner
committed
feat(traits): add GroupParticipation::Left

mubarakcoded
authored and
erskingardner
committed
docs(spec): scope pre_membership to retained history; resolve Left/Evicted reason from the removal commit in path 2

mubarakcoded
authored and
erskingardner
committed
Make the removal commit the sole membership authority; add removal notices + recovery probe

erskingardner
and
claude
committed
feat(engine): durable participation state machine driven by applied removal commits

erskingardner
and
claude
committed
feat(engine): classify post-non-membership inbound as Stale(Evicted)

erskingardner
and
claude
committed
fix(app): deterministic subscription teardown when participation ends

erskingardner
and
claude
committed
fix(transport): freeze cursor on undecryptable input + membership recovery probe

erskingardner
and
claude
committed
feat(transport): kind-451 removal notices — committer send + inbox receive

erskingardner
and
claude
committed
feat(engine): enforce quarantine at the ingest/convergence seams (#688/#689)

erskingardner
and
claude
committed
feat(engine): retained membership intervals + terminal PreMembership (#622)

erskingardner
and
claude
committed
feat(app): surface participation through the group-state DTO and FFI

erskingardner
and
claude
committed
fix: address group lifecycle review feedback
erskingardner
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Group lifecycle: participation taxonomy + eviction detection, recovery probe, removal notices, quarantine (#727)#769

Group lifecycle: participation taxonomy + eviction detection, recovery probe, removal notices, quarantine (#727)#769
erskingardner merged 17 commits into
masterfrom
feat/group-lifecycle-taxonomy

Commits on Jul 2, 2026

docs(spec): define group participation states and terminal eviction/pre-membership outcomes

feat(traits): add GroupParticipation status enum

docs(spec): clarify Evicted clears only via verified rejoin, not in-group commit processing

test(traits): snapshot GroupParticipation variants

docs(spec): derive path-2 eviction above MLS, add Left participation state, interval-based pre-membership

feat(traits): add GroupParticipation::Left

docs(spec): scope pre_membership to retained history; resolve Left/Evicted reason from the removal commit in path 2

Make the removal commit the sole membership authority; add removal notices + recovery probe

feat(engine): durable participation state machine driven by applied removal commits

feat(engine): classify post-non-membership inbound as Stale(Evicted)

fix(app): deterministic subscription teardown when participation ends

fix(transport): freeze cursor on undecryptable input + membership recovery probe

feat(transport): kind-451 removal notices — committer send + inbox receive

feat(engine): enforce quarantine at the ingest/convergence seams (#688/#689)

feat(engine): retained membership intervals + terminal PreMembership (#622)

feat(app): surface participation through the group-state DTO and FFI

fix: address group lifecycle review feedback