Repository navigation

Split accumulator finding and analysis standings - #9179

Merged

briansrls merged 6 commits into

mainfrom

session/royal-cat-509-accumulator-standing

Aug 25, 2026

Merged

Split accumulator finding and analysis standings#9179
briansrls merged 6 commits into
mainfrom
session/royal-cat-509-accumulator-standing

Commits on Aug 25, 2026
- Split accumulator finding and analysis standings
  gunbc-ci-auto-heal
  committed
  201bc13
- Make finding-standing Boolean descent explicit
  gunbc-ci-auto-heal
  committed
  a0bf581
- Own standing predicates beside their coproducts
  gunbc-ci-auto-heal
  committed
  bac87ab
- Export the not-established cause before its consumers
  gunbc-ci-auto-heal
  committed
  166f95a
- Keep ingest-regressed cause construction canonical
  gunbc-ci-auto-heal
  committed
  8ee8412
- Type source analysis refusal causes
  gunbc-ci-auto-heal
  committed
  1777353