Skip to content

Root D half 1: a zero-parameter alias is emitted carrying its resolved definition's arguments (~73 sites) — and an enrolled witness asserts the broken shape - #8350

Merged
briansrls merged 3 commits into
mainfrom
session/stern-badger-166
Aug 17, 2026
Merged

Root D half 1: a zero-parameter alias is emitted carrying its resolved definition's arguments (~73 sites) — and an enrolled witness asserts the broken shape#8350
briansrls merged 3 commits into
mainfrom
session/stern-badger-166

Regenerate the stage0 seed for the applied-binding env change

0b2af3d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar