Skip to content

feat(proofs): query kernel assumptions for every compiled witness (#131) - #132

Merged
hyperpolymath merged 58 commits into
mainfrom
arena/a9dee430-nextgen-typing
Nov 2, 2026
Merged

feat(proofs): query kernel assumptions for every compiled witness (#131)#132
hyperpolymath merged 58 commits into
mainfrom
arena/a9dee430-nextgen-typing

fix(proofs): tighten Admitted/manifest-order/ledger gates per PR #132…

611e650
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar