Skip to content

fix(state-transition): reject malformed justification state with typed errors (leanSpec #1178)#502

Merged
MegaRedHand merged 1 commit into
mainfrom
fix/malformed-justification-state
Jul 6, 2026
Merged

fix(state-transition): reject malformed justification state with typed errors (leanSpec #1178)#502
MegaRedHand merged 1 commit into
mainfrom
fix/malformed-justification-state

fix(state-transition): reject malformed justification bookkeeping wit…

79b06c3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar