Five ledger process and tooling fixes: dirty-tree gate, merge-loss detector, three plans - #1944
Merged
Merged
Commits
Commits on Aug 14, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed