Skip to content

fix(codegen): require runtime evidence for local binding types - #8033

Merged
proggeramlug merged 2 commits into
mainfrom
fix/7846-binding-proof-audit
Aug 13, 2026
Merged

fix(codegen): require runtime evidence for local binding types#8033
proggeramlug merged 2 commits into
mainfrom
fix/7846-binding-proof-audit

fix(codegen): address binding proof review

788dff7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar