Repository navigation

An unreadable subject is not a clean one: carry the cause instead of collapsing it - #9188

Merged

briansrls merged 10 commits into

mainfrom

session/source-standing-not-clean

Aug 25, 2026

Merged

An unreadable subject is not a clean one: carry the cause instead of collapsing it#9188
briansrls merged 10 commits into
mainfrom
session/source-standing-not-clean

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
- An unreadable subject is not a clean one: carry the cause instead of collapsing it
  gunbc-ci-auto-heal
  committed
  bcee34d
- Point both consumers at the module that declares the hoisted names
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  deea34c
- Merge remote-tracking branch 'origin/main' into session/source-standing-not-clean
  gunbc-ci-auto-heal
  committed
  5b8540f
- Carry the cause instead of collapsing it, and make the gate's answer askable
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  716aca4