Skip to content

fix(verify): coupled child state in predicates; child usage to the root - #225

Merged
davidkpiano merged 1 commit into
nextfrom
coupled-child-proofs
Nov 7, 2026
Merged

fix(verify): coupled child state in predicates; child usage to the root#225
davidkpiano merged 1 commit into
nextfrom
coupled-child-proofs

fix(verify): coupled children's explored state in predicates; child u…

4a0763c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar