Repository navigation

Split the budget outcome into two arms: an interruption and a completed overrun are not one state - #9073

Merged

briansrls merged 4 commits into

mainfrom

fix/budget-completion-sibling-split

Aug 24, 2026

Merged

Split the budget outcome into two arms: an interruption and a completed overrun are not one state#9073
briansrls merged 4 commits into
mainfrom
fix/budget-completion-sibling-split

Commits on Aug 24, 2026
- Split the budget outcome into two arms: an interruption and a completed overrun are not one state
  Brian Searls
  committed
  7cfea48
- Merge remote-tracking branch 'origin/main' into fix/budget-completion-sibling-split
  Brian Searls
  committed
  deb67d7
- The contradictory-pairing arm refuses the ledger instead of riding inside a green one
  Brian Searls
  committed
  83a97af
- Hoist the annotations out of declaration bodies: only module-item grain is modeled
  Brian Searls
  committed
  43fa7b2