Repository navigation

The add-side disjunct is load-bearing on a case no reader channel can reach - #9513

Merged

briansrls merged 4 commits into

mainfrom

fix/membership-unused-member-control

Aug 28, 2026

Commits on Aug 27, 2026
- The add-side disjunct is load-bearing on a case no reader channel can reach
  
  Brian Searls
  and
  claude
  committed
  4084c97
- Merge remote-tracking branch 'origin/main' into fix/membership-unused-member-control
  Brian Searls
  committed
  8f71dc9
Commits on Aug 28, 2026
- Merge remote-tracking branch 'origin/main' into fix/membership-unused-member-control
  Brian Searls
  committed
  d309b78
- Merge main into fix/membership-unused-member-control
  
  Brian Searls
  and
  claude
  committed
  c3dd401