Skip to content

[auto] reflect: narrow-the-scope names the shared-premise step when one gate rejects twice - #289

Merged
EdbertChan merged 2 commits into
mainfrom
stack/EdbertChan/reflect/pstack-premise-20260908/auto-reflect-narrow-scope-names-shared-premise--d0706777
Sep 9, 2026
Merged

[auto] reflect: narrow-the-scope names the shared-premise step when one gate rejects twice#289
EdbertChan merged 2 commits into
mainfrom
stack/EdbertChan/reflect/pstack-premise-20260908/auto-reflect-narrow-scope-names-shared-premise--d0706777

Commits

Commits on Sep 8, 2026