Skip to content

Give DemandCommand a core effect: the two-provider argument demand.dag makes in prose, enforced by something - #9070

Merged
briansrls merged 6 commits into
mainfrom
session/eager-deer-693
Aug 24, 2026
Merged

Give DemandCommand a core effect: the two-provider argument demand.dag makes in prose, enforced by something#9070
briansrls merged 6 commits into
mainfrom
session/eager-deer-693

review 55310: seal the population, and carry the verifier forward int…

5a5f4da
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar